その外部プログラムは出現し続けない
fact1: もしもその外部プログラムが紋様でないとすると春蒔きだということはないしそれに腹立たしい fact2: その十二ユニットはみすず書房でない fact3: その十二ユニットは硬膜嚢だしかつ移せる fact4: もしも腹立たしくらない物が凝固しないとしたらそれは太くない fact5: その十二ユニットは移せる fact6: その十二ユニットは転変しない fact7: もしなにかは太くないとしたら転変しないが同意書である fact8: もしも腹立たしくらない物が立ち話しないならそれはみすず書房でない fact9: もし仮にその十二ユニットはみすず書房でないならそれは腹立たしくらないけど立ち話する fact10: 「硬膜嚢は凝固しない」ということは確かである fact11: もしその十二ユニットが転変しないが同意書ならばその外部プログラムは出現し続けない fact12: みすず書房は出現し続ける
fact9 & fact2 -> int1: その十二ユニットは腹立たしくらない一方でそれは立ち話する; int1 -> int2: その十二ユニットは腹立たしくらない; fact10 -> int3: もし「その十二ユニットは硬膜嚢だ」ということは事実であるとしたら「凝固しない」ということは成り立つ; fact3 -> int4: その十二ユニットは硬膜嚢だ; int3 & int4 -> int5: その十二ユニットは凝固するということはない; int2 & int5 -> int6: その十二ユニットが腹立たしいということはないしその上凝固しない; fact4 -> int7: その十二ユニットが腹立たしくらないしさらに凝固しないならばそれは太いということはない; int6 & int7 -> int8: その十二ユニットは太いということはない; fact7 -> int9: 仮にその十二ユニットが太くないとしたら転変しないし更に同意書だ; int8 & int9 -> int10: その十二ユニットは転変しないがしかし同意書だ; int10 & fact11 -> hypothesis;
「その外部プログラムは出現し続ける」ということは成り立つ
fact13 -> int11: 仮にその外部プログラムがみすず書房だとすると出現し続ける;
$facts$ = fact1: もしもその外部プログラムが紋様でないとすると春蒔きだということはないしそれに腹立たしい fact2: その十二ユニットはみすず書房でない fact3: その十二ユニットは硬膜嚢だしかつ移せる fact4: もしも腹立たしくらない物が凝固しないとしたらそれは太くない fact5: その十二ユニットは移せる fact6: その十二ユニットは転変しない fact7: もしなにかは太くないとしたら転変しないが同意書である fact8: もしも腹立たしくらない物が立ち話しないならそれはみすず書房でない fact9: もし仮にその十二ユニットはみすず書房でないならそれは腹立たしくらないけど立ち話する fact10: 「硬膜嚢は凝固しない」ということは確かである fact11: もしその十二ユニットが転変しないが同意書ならばその外部プログラムは出現し続けない fact12: みすず書房は出現し続ける ; $hypothesis$ = その外部プログラムは出現し続けない ; $proof$ = 
fact9 & fact2 -> int1: その十二ユニットは腹立たしくらない一方でそれは立ち話する; int1 -> int2: その十二ユニットは腹立たしくらない; fact10 -> int3: もし「その十二ユニットは硬膜嚢だ」ということは事実であるとしたら「凝固しない」ということは成り立つ; fact3 -> int4: その十二ユニットは硬膜嚢だ; int3 & int4 -> int5: その十二ユニットは凝固するということはない; int2 & int5 -> int6: その十二ユニットが腹立たしいということはないしその上凝固しない; fact4 -> int7: その十二ユニットが腹立たしくらないしさらに凝固しないならばそれは太いということはない; int6 & int7 -> int8: その十二ユニットは太いということはない; fact7 -> int9: 仮にその十二ユニットが太くないとしたら転変しないし更に同意書だ; int8 & int9 -> int10: その十二ユニットは転変しないがしかし同意書だ; int10 & fact11 -> hypothesis; __PROVED__
事実1: もしもその外部プログラムが紋様でないとすると春蒔きだということはないしそれに腹立たしい
事実2: その十二ユニットはみすず書房でない
事実3: その十二ユニットは硬膜嚢だしかつ移せる
事実4: もしも腹立たしくらない物が凝固しないとしたらそれは太くない
事実5: その十二ユニットは移せる
事実6: その十二ユニットは転変しない
事実7: もしなにかは太くないとしたら転変しないが同意書である
事実8: もしも腹立たしくらない物が立ち話しないならそれはみすず書房でない
事実9: もし仮にその十二ユニットはみすず書房でないならそれは腹立たしくらないけど立ち話する
事実10: 「硬膜嚢は凝固しない」ということは確かである
事実11: もしその十二ユニットが転変しないが同意書ならばその外部プログラムは出現し続けない
事実12: みすず書房は出現し続ける

仮説: その外部プログラムは出現し続けない
1. 事実9と事実2から、推論1: "その十二ユニットは腹立たしくらない一方でそれは立ち話する"が導かれる
2. 推論1から、推論2: "その十二ユニットは腹立たしくらない"が導かれる
3. 事実10から、推論3: "もし「その十二ユニットは硬膜嚢だ」ということは事実であるとしたら「凝固しない」ということは成り立つ"が導かれる
4. 事実3から、推論4: "その十二ユニットは硬膜嚢だ"が導かれる
5. 推論3と推論4から、推論5: "その十二ユニットは凝固するということはない"が導かれる
6. 推論2と推論5から、推論6: "その十二ユニットが腹立たしいということはないしその上凝固しない"が導かれる
7. 事実4から、推論7: "その十二ユニットが腹立たしくらないしさらに凝固しないならばそれは太いということはない"が導かれる
8. 推論6と推論7から、推論8: "その十二ユニットは太いということはない"が導かれる
9. 事実7から、推論9: "仮にその十二ユニットが太くないとしたら転変しないし更に同意書だ"が導かれる
10. 推論8と推論9から、推論10: "その十二ユニットは転変しないがしかし同意書だ"が導かれる
11. 推論10と事実11から、仮説が導かれる

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