その全児童生徒は吹っ飛ばない
fact1: とあるものが消し飛ばないとしたらすこいし更にそれは慎み深い fact2: 仮にあの所行が吹っ飛ぶとするとその全児童生徒は洗顔する fact3: 仮にあの所行が吹っ飛ぶということはないがしかしそれが洗顔するならその全児童生徒は吹っ飛ばない fact4: 「その花魁達は吹っ飛ぶ」ということは成り立つ fact5: 「あの失語症検査はプロフェッショナルでない一方でそれは非難がましい」ということは成り立たない fact6: もしその全児童生徒が洗顔するとしたらあの所行は吹っ飛ぶ fact7: この陥入爪は慎み深いとすれば「それは伸ばし易いけれど綴じ込むということはない」ということは成り立たない fact8: この補中益気湯は洗顔する fact9: もし仮に「あの失語症検査はプロフェッショナルでないが非難がましい」ということは間違いなら与え易くない fact10: あの所行は洗顔する fact11: もしも「この陥入爪は伸ばし易いけど綴じ込まない」ということは成り立たないとするとあの所行は吹っ飛ばない fact12: このヒガイは洗顔する fact13: もしもあの人生全体が吸収合併すればあの所行は洗顔する fact14: あの所行は吸収合併するしおまけにそれは洗顔する fact15: あの所行は結合し易いしかつ線形計画問題だ fact16: もし仮にあの所行が吹っ飛ぶが吸収合併するということはないならばその二十五‐一Ｂは洗顔する fact17: もし仮に「あの所行は吹っ飛ぶ」ということは成り立つとするとその全児童生徒は吸収合併する fact18: 仮にその全児童生徒が洗顔するとするとあの所行は吸収合併する fact19: もしもあの所行が吸収合併するならばあの全児童生徒は吹っ飛ぶ fact20: その全児童生徒は吸収合併する
fact14 -> int1: あの所行は吸収合併する; int1 & fact19 -> hypothesis;
その全児童生徒は吹っ飛ばない
fact22 -> int2: もしもこの陥入爪が消し飛ばないならばそれはすこくてそれは慎み深い; fact27 & fact26 -> int3: あの失語症検査は与え易いということはない; int3 -> int4: 「与え易くない」物はある;
$facts$ = fact1: とあるものが消し飛ばないとしたらすこいし更にそれは慎み深い fact2: 仮にあの所行が吹っ飛ぶとするとその全児童生徒は洗顔する fact3: 仮にあの所行が吹っ飛ぶということはないがしかしそれが洗顔するならその全児童生徒は吹っ飛ばない fact4: 「その花魁達は吹っ飛ぶ」ということは成り立つ fact5: 「あの失語症検査はプロフェッショナルでない一方でそれは非難がましい」ということは成り立たない fact6: もしその全児童生徒が洗顔するとしたらあの所行は吹っ飛ぶ fact7: この陥入爪は慎み深いとすれば「それは伸ばし易いけれど綴じ込むということはない」ということは成り立たない fact8: この補中益気湯は洗顔する fact9: もし仮に「あの失語症検査はプロフェッショナルでないが非難がましい」ということは間違いなら与え易くない fact10: あの所行は洗顔する fact11: もしも「この陥入爪は伸ばし易いけど綴じ込まない」ということは成り立たないとするとあの所行は吹っ飛ばない fact12: このヒガイは洗顔する fact13: もしもあの人生全体が吸収合併すればあの所行は洗顔する fact14: あの所行は吸収合併するしおまけにそれは洗顔する fact15: あの所行は結合し易いしかつ線形計画問題だ fact16: もし仮にあの所行が吹っ飛ぶが吸収合併するということはないならばその二十五‐一Ｂは洗顔する fact17: もし仮に「あの所行は吹っ飛ぶ」ということは成り立つとするとその全児童生徒は吸収合併する fact18: 仮にその全児童生徒が洗顔するとするとあの所行は吸収合併する fact19: もしもあの所行が吸収合併するならばあの全児童生徒は吹っ飛ぶ fact20: その全児童生徒は吸収合併する ; $hypothesis$ = その全児童生徒は吹っ飛ばない ; $proof$ = 
fact14 -> int1: あの所行は吸収合併する; int1 & fact19 -> hypothesis; __DISPROVED__
事実1: とあるものが消し飛ばないとしたらすこいし更にそれは慎み深い
事実2: 仮にあの所行が吹っ飛ぶとするとその全児童生徒は洗顔する
事実3: 仮にあの所行が吹っ飛ぶということはないがしかしそれが洗顔するならその全児童生徒は吹っ飛ばない
事実4: 「その花魁達は吹っ飛ぶ」ということは成り立つ
事実5: 「あの失語症検査はプロフェッショナルでない一方でそれは非難がましい」ということは成り立たない
事実6: もしその全児童生徒が洗顔するとしたらあの所行は吹っ飛ぶ
事実7: この陥入爪は慎み深いとすれば「それは伸ばし易いけれど綴じ込むということはない」ということは成り立たない
事実8: この補中益気湯は洗顔する
事実9: もし仮に「あの失語症検査はプロフェッショナルでないが非難がましい」ということは間違いなら与え易くない
事実10: あの所行は洗顔する
事実11: もしも「この陥入爪は伸ばし易いけど綴じ込まない」ということは成り立たないとするとあの所行は吹っ飛ばない
事実12: このヒガイは洗顔する
事実13: もしもあの人生全体が吸収合併すればあの所行は洗顔する
事実14: あの所行は吸収合併するしおまけにそれは洗顔する
事実15: あの所行は結合し易いしかつ線形計画問題だ
事実16: もし仮にあの所行が吹っ飛ぶが吸収合併するということはないならばその二十五‐一Ｂは洗顔する
事実17: もし仮に「あの所行は吹っ飛ぶ」ということは成り立つとするとその全児童生徒は吸収合併する
事実18: 仮にその全児童生徒が洗顔するとするとあの所行は吸収合併する
事実19: もしもあの所行が吸収合併するならばあの全児童生徒は吹っ飛ぶ
事実20: その全児童生徒は吸収合併する

仮説: その全児童生徒は吹っ飛ばない
1. 事実14から、推論1: "あの所行は吸収合併する"が導かれる
2. 推論1と事実19から、仮説が否定される

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