この吸液量は移行し易くないけど幼けない
fact1: その本職が奇襲作戦でないかまたは判断し難いかあるいは両方だとしたらそれは有毛でない fact2: 仮に何らかのものが大損しないとすると移行し易くないけれど幼けない fact3: この漆器が有毛であるとするとあの捜査費は国勢だということはないけど脅迫めく fact4: 「もし「その本職は大損するしまた熱唱する」ということは成り立つということはないならばこの地雷は熱唱しない」ということは事実である fact5: その本職は奇襲作戦でないかもしくは判断し難いかあるいは両方ともである fact6: あらゆる物は大損しない fact7: もし何らかのものは有毛でないならば「それは大損するし加えて熱唱する」ということは真実でない
fact2 -> int1: 仮にこの吸液量が大損しないならばそれは移行し易くないがしかし幼けない; fact6 -> int2: この吸液量は大損しない; int1 & int2 -> hypothesis;
「この吸液量は移行し易くないがしかしそれは幼けない」ということは事実と異なる
$facts$ = fact1: その本職が奇襲作戦でないかまたは判断し難いかあるいは両方だとしたらそれは有毛でない fact2: 仮に何らかのものが大損しないとすると移行し易くないけれど幼けない fact3: この漆器が有毛であるとするとあの捜査費は国勢だということはないけど脅迫めく fact4: 「もし「その本職は大損するしまた熱唱する」ということは成り立つということはないならばこの地雷は熱唱しない」ということは事実である fact5: その本職は奇襲作戦でないかもしくは判断し難いかあるいは両方ともである fact6: あらゆる物は大損しない fact7: もし何らかのものは有毛でないならば「それは大損するし加えて熱唱する」ということは真実でない ; $hypothesis$ = この吸液量は移行し易くないけど幼けない ; $proof$ = 
fact2 -> int1: 仮にこの吸液量が大損しないならばそれは移行し易くないがしかし幼けない; fact6 -> int2: この吸液量は大損しない; int1 & int2 -> hypothesis; __PROVED__
事実1: その本職が奇襲作戦でないかまたは判断し難いかあるいは両方だとしたらそれは有毛でない
事実2: 仮に何らかのものが大損しないとすると移行し易くないけれど幼けない
事実3: この漆器が有毛であるとするとあの捜査費は国勢だということはないけど脅迫めく
事実4: 「もし「その本職は大損するしまた熱唱する」ということは成り立つということはないならばこの地雷は熱唱しない」ということは事実である
事実5: その本職は奇襲作戦でないかもしくは判断し難いかあるいは両方ともである
事実6: あらゆる物は大損しない
事実7: もし何らかのものは有毛でないならば「それは大損するし加えて熱唱する」ということは真実でない

仮説: この吸液量は移行し易くないけど幼けない
1. 事実2から、推論1: "仮にこの吸液量が大損しないならばそれは移行し易くないがしかし幼けない"が導かれる
2. 事実6から、推論2: "この吸液量は大損しない"が導かれる
3. 推論1と推論2から、仮説が導かれる

よって、仮説が証明されました。