その操縦訓練は搭載メモリでない一方でそれは作られ方である
fact1: もしもこの小宰は味気無くないとしたら「それは順応し易くない」ということは真実である fact2: その操縦訓練は味気無くない fact3: 「この小宰はヒューマンだということはない」ということは真実である fact4: 「その操縦訓練は搭載メモリであるしおまけに作られ方である」ということは成り立たない fact5: 「その操縦訓練は吸わない」ということは成り立つ fact6: この小宰は吸わないか味気無いか両方ともだ fact7: もしも「この小宰は順応し易くない」ということは成り立てば「その操縦訓練は搭載メモリでないけれど作られ方だ」ということは事実と異なる fact8: この小宰はヒューマンでなくて吸わない fact9: もしも「この小宰は順応し易くない」ということは成り立つとしたら「その操縦訓練が搭載メモリだし更にそれは作られ方である」ということは成り立たない fact10: もし仮にこの小宰が吸うということはないか味気無くないかあるいはどちらもであるとすると順応し易くない
fact8 -> int1: この小宰は吸うということはない; int1 -> int2: この小宰は吸うということはないか味気無くないかもしくは両方ともだ; int2 & fact10 -> int3: この小宰は順応し易くない; int3 & fact7 -> hypothesis;
$facts$ = fact1: もしもこの小宰は味気無くないとしたら「それは順応し易くない」ということは真実である fact2: その操縦訓練は味気無くない fact3: 「この小宰はヒューマンだということはない」ということは真実である fact4: 「その操縦訓練は搭載メモリであるしおまけに作られ方である」ということは成り立たない fact5: 「その操縦訓練は吸わない」ということは成り立つ fact6: この小宰は吸わないか味気無いか両方ともだ fact7: もしも「この小宰は順応し易くない」ということは成り立てば「その操縦訓練は搭載メモリでないけれど作られ方だ」ということは事実と異なる fact8: この小宰はヒューマンでなくて吸わない fact9: もしも「この小宰は順応し易くない」ということは成り立つとしたら「その操縦訓練が搭載メモリだし更にそれは作られ方である」ということは成り立たない fact10: もし仮にこの小宰が吸うということはないか味気無くないかあるいはどちらもであるとすると順応し易くない ; $hypothesis$ = その操縦訓練は搭載メモリでない一方でそれは作られ方である ; $proof$ = 
fact8 -> int1: この小宰は吸うということはない; int1 -> int2: この小宰は吸うということはないか味気無くないかもしくは両方ともだ; int2 & fact10 -> int3: この小宰は順応し易くない; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: もしもこの小宰は味気無くないとしたら「それは順応し易くない」ということは真実である
事実2: その操縦訓練は味気無くない
事実3: 「この小宰はヒューマンだということはない」ということは真実である
事実4: 「その操縦訓練は搭載メモリであるしおまけに作られ方である」ということは成り立たない
事実5: 「その操縦訓練は吸わない」ということは成り立つ
事実6: この小宰は吸わないか味気無いか両方ともだ
事実7: もしも「この小宰は順応し易くない」ということは成り立てば「その操縦訓練は搭載メモリでないけれど作られ方だ」ということは事実と異なる
事実8: この小宰はヒューマンでなくて吸わない
事実9: もしも「この小宰は順応し易くない」ということは成り立つとしたら「その操縦訓練が搭載メモリだし更にそれは作られ方である」ということは成り立たない
事実10: もし仮にこの小宰が吸うということはないか味気無くないかあるいはどちらもであるとすると順応し易くない

仮説: その操縦訓練は搭載メモリでない一方でそれは作られ方である
1. 事実8から、推論1: "この小宰は吸うということはない"が導かれる
2. 推論1から、推論2: "この小宰は吸うということはないか味気無くないかもしくは両方ともだ"が導かれる
3. 推論2と事実10から、推論3: "この小宰は順応し易くない"が導かれる
4. 推論3と事実7から、仮説が否定される

よって、仮説が否定されました。