向き推論

しろむき・すろんushiromuki·suiron6

N.
Logik Rückwärtsinferenz f f.