そのＡ子さんは頼もしくないしさらに国籍国でない
fact1: 伝わり難くない物は国籍国でない fact2: もし仮に伝わり難くないものが蒸散するとしたらその大腸癌は建築面積である fact3: あの珠文鏡は建築面積だ fact4: もし仮に「「あの珠文鏡は風向でなくて更にそれは新訴えない」ということは誤っている」ということは本当であるとするとそのＡ子さんは建築面積である fact5: 仮になにかは気の毒過ぎないならばそれは許し難くないが伝わり難い fact6: とある物は蒸散するし蠢かす fact7: もし仮にその大腸癌が国籍国でないとすればそのＡ子さんは頼もしくなくて国籍国であるということはない fact8: 仮にあるものは建築面積であるなら「頼もしくなくておまけにそれは国籍国でない」ということは間違いだ fact9: あの珠文鏡が建築面積であるとしたらそれは蒸散しないし蠢かす fact10: もしもその大腸癌が風向であるしまた新訴えるとしたら伝わり難くない fact11: その大腸癌は新訴える fact12: もしもとあるものが蒸散しないがしかし蠢かすとするとその大腸癌は風向だ
fact9 & fact3 -> int1: あの珠文鏡は蒸散しないが蠢かす; int1 -> int2: 「蒸散しないがしかし蠢かす」物はある; int2 & fact12 -> int3: その大腸癌は風向だ; int3 & fact11 -> int4: その大腸癌は風向であるしまた新訴える; int4 & fact10 -> int5: その大腸癌は伝わり難くない; fact1 -> int6: 仮にその大腸癌が伝わり難くないとしたらそれは国籍国でない; int5 & int6 -> int7: その大腸癌は国籍国であるということはない; int7 & fact7 -> hypothesis;
「「そのＡ子さんは頼もしくなくてしかも国籍国でない」ということは成り立つ」ということは事実と異なる
fact15 -> int8: もしそのＡ子さんは建築面積だとすると「頼もしくないしさらに国籍国でない」ということは偽である; fact13 -> int9: その大腸癌は気の毒過ぎないならばそれは許し難くなくてそれは伝わり難い;
$facts$ = fact1: 伝わり難くない物は国籍国でない fact2: もし仮に伝わり難くないものが蒸散するとしたらその大腸癌は建築面積である fact3: あの珠文鏡は建築面積だ fact4: もし仮に「「あの珠文鏡は風向でなくて更にそれは新訴えない」ということは誤っている」ということは本当であるとするとそのＡ子さんは建築面積である fact5: 仮になにかは気の毒過ぎないならばそれは許し難くないが伝わり難い fact6: とある物は蒸散するし蠢かす fact7: もし仮にその大腸癌が国籍国でないとすればそのＡ子さんは頼もしくなくて国籍国であるということはない fact8: 仮にあるものは建築面積であるなら「頼もしくなくておまけにそれは国籍国でない」ということは間違いだ fact9: あの珠文鏡が建築面積であるとしたらそれは蒸散しないし蠢かす fact10: もしもその大腸癌が風向であるしまた新訴えるとしたら伝わり難くない fact11: その大腸癌は新訴える fact12: もしもとあるものが蒸散しないがしかし蠢かすとするとその大腸癌は風向だ ; $hypothesis$ = そのＡ子さんは頼もしくないしさらに国籍国でない ; $proof$ = 
fact9 & fact3 -> int1: あの珠文鏡は蒸散しないが蠢かす; int1 -> int2: 「蒸散しないがしかし蠢かす」物はある; int2 & fact12 -> int3: その大腸癌は風向だ; int3 & fact11 -> int4: その大腸癌は風向であるしまた新訴える; int4 & fact10 -> int5: その大腸癌は伝わり難くない; fact1 -> int6: 仮にその大腸癌が伝わり難くないとしたらそれは国籍国でない; int5 & int6 -> int7: その大腸癌は国籍国であるということはない; int7 & fact7 -> hypothesis; __PROVED__
事実1: 伝わり難くない物は国籍国でない
事実2: もし仮に伝わり難くないものが蒸散するとしたらその大腸癌は建築面積である
事実3: あの珠文鏡は建築面積だ
事実4: もし仮に「「あの珠文鏡は風向でなくて更にそれは新訴えない」ということは誤っている」ということは本当であるとするとそのＡ子さんは建築面積である
事実5: 仮になにかは気の毒過ぎないならばそれは許し難くないが伝わり難い
事実6: とある物は蒸散するし蠢かす
事実7: もし仮にその大腸癌が国籍国でないとすればそのＡ子さんは頼もしくなくて国籍国であるということはない
事実8: 仮にあるものは建築面積であるなら「頼もしくなくておまけにそれは国籍国でない」ということは間違いだ
事実9: あの珠文鏡が建築面積であるとしたらそれは蒸散しないし蠢かす
事実10: もしもその大腸癌が風向であるしまた新訴えるとしたら伝わり難くない
事実11: その大腸癌は新訴える
事実12: もしもとあるものが蒸散しないがしかし蠢かすとするとその大腸癌は風向だ

仮説: そのＡ子さんは頼もしくないしさらに国籍国でない
1. 事実9と事実3から、推論1: "あの珠文鏡は蒸散しないが蠢かす"が導かれる
2. 推論1から、推論2: "「蒸散しないがしかし蠢かす」物はある"が導かれる
3. 推論2と事実12から、推論3: "その大腸癌は風向だ"が導かれる
4. 推論3と事実11から、推論4: "その大腸癌は風向であるしまた新訴える"が導かれる
5. 推論4と事実10から、推論5: "その大腸癌は伝わり難くない"が導かれる
6. 事実1から、推論6: "仮にその大腸癌が伝わり難くないとしたらそれは国籍国でない"が導かれる
7. 推論5と推論6から、推論7: "その大腸癌は国籍国であるということはない"が導かれる
8. 推論7と事実7から、仮説が導かれる

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