その母子間は目新しいしかつ探り合う
fact1: もしもその母子間は照準具であるならばそれは沸き立つ fact2: この手形・小切手は関わり続けないしまた欠点でない fact3: 仮にこの手形・小切手は眠たくないならば「それは関わり続けるけれど欠点でない」ということは誤りだ fact4: この奈良東大寺は探り合う fact5: 仮にとある物は眠たくないとしたら「目新しくてそれにそれは探り合う」ということは成り立たない fact6: もしもこの手形・小切手が積極的意思だとすれば御早いししかもそれはむず痒くない fact7: この手形・小切手は自立心でない fact8: この手形・小切手は眠たくないなら「関わり続けない一方で欠点だ」ということは真実でない fact9: もしもこの手形・小切手が積極的意思だとするとそれは沸き立つ fact10: もしもこの手形・小切手が組み合わさるけれど自立心でないならばその母子間は目新しい fact11: この手形・小切手が沸き立つとしたらそれは組み合わさるしかつ自立心でない fact12: もし仮にこの手形・小切手が沸き立つとすればそれは自立心だということはない fact13: その母子間は探り合う fact14: 仮に「この手形・小切手は組み合わさるしそれに自立心だ」ということは確かだとするとその母子間は目新しい fact15: 「この手形・小切手は吹っ飛ぶ」ということは事実である fact16: もし仮に「この手形・小切手は眠たい」ということは真実なら積極的意思である fact17: 「この手形・小切手は関わり続けないがそれは欠点である」ということは成り立たない fact18: 「「この手形・小切手は関わり続ける一方で欠点でない」ということは間違いである」ということは事実である fact19: その統計処理は眠たい fact20: もし「この手形・小切手は眠たくない」ということは成り立つとすれば「関わり続けないし欠点でない」ということは本当でない fact21: 仮にこの手形・小切手は沸き立つなら「働き難い」ということは事実である
void -> assump1: 以下のように仮定する。この手形・小切手は眠たくない; fact20 & assump1 -> int1: 「この手形・小切手は関わり続けなくて更に欠点だということはない」ということは成り立つということはない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この手形・小切手は眠たい; int3 & fact16 -> int4: この手形・小切手は積極的意思である; int4 & fact9 -> int5: この手形・小切手は沸き立つ; int5 & fact11 -> int6: この手形・小切手は組み合わさるけれど自立心でない; int6 & fact10 -> int7: その母子間は目新しい; int7 & fact13 -> hypothesis;
「その母子間は目新しくてそれに探り合う」ということは誤りである
fact22 -> int8: もし仮にその母子間は眠たくないとすると「目新しいし探り合う」ということは偽である;
$facts$ = fact1: もしもその母子間は照準具であるならばそれは沸き立つ fact2: この手形・小切手は関わり続けないしまた欠点でない fact3: 仮にこの手形・小切手は眠たくないならば「それは関わり続けるけれど欠点でない」ということは誤りだ fact4: この奈良東大寺は探り合う fact5: 仮にとある物は眠たくないとしたら「目新しくてそれにそれは探り合う」ということは成り立たない fact6: もしもこの手形・小切手が積極的意思だとすれば御早いししかもそれはむず痒くない fact7: この手形・小切手は自立心でない fact8: この手形・小切手は眠たくないなら「関わり続けない一方で欠点だ」ということは真実でない fact9: もしもこの手形・小切手が積極的意思だとするとそれは沸き立つ fact10: もしもこの手形・小切手が組み合わさるけれど自立心でないならばその母子間は目新しい fact11: この手形・小切手が沸き立つとしたらそれは組み合わさるしかつ自立心でない fact12: もし仮にこの手形・小切手が沸き立つとすればそれは自立心だということはない fact13: その母子間は探り合う fact14: 仮に「この手形・小切手は組み合わさるしそれに自立心だ」ということは確かだとするとその母子間は目新しい fact15: 「この手形・小切手は吹っ飛ぶ」ということは事実である fact16: もし仮に「この手形・小切手は眠たい」ということは真実なら積極的意思である fact17: 「この手形・小切手は関わり続けないがそれは欠点である」ということは成り立たない fact18: 「「この手形・小切手は関わり続ける一方で欠点でない」ということは間違いである」ということは事実である fact19: その統計処理は眠たい fact20: もし「この手形・小切手は眠たくない」ということは成り立つとすれば「関わり続けないし欠点でない」ということは本当でない fact21: 仮にこの手形・小切手は沸き立つなら「働き難い」ということは事実である ; $hypothesis$ = その母子間は目新しいしかつ探り合う ; $proof$ = 
void -> assump1: 以下のように仮定する。この手形・小切手は眠たくない; fact20 & assump1 -> int1: 「この手形・小切手は関わり続けなくて更に欠点だということはない」ということは成り立つということはない; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> int3: この手形・小切手は眠たい; int3 & fact16 -> int4: この手形・小切手は積極的意思である; int4 & fact9 -> int5: この手形・小切手は沸き立つ; int5 & fact11 -> int6: この手形・小切手は組み合わさるけれど自立心でない; int6 & fact10 -> int7: その母子間は目新しい; int7 & fact13 -> hypothesis; __PROVED__
事実1: もしもその母子間は照準具であるならばそれは沸き立つ
事実2: この手形・小切手は関わり続けないしまた欠点でない
事実3: 仮にこの手形・小切手は眠たくないならば「それは関わり続けるけれど欠点でない」ということは誤りだ
事実4: この奈良東大寺は探り合う
事実5: 仮にとある物は眠たくないとしたら「目新しくてそれにそれは探り合う」ということは成り立たない
事実6: もしもこの手形・小切手が積極的意思だとすれば御早いししかもそれはむず痒くない
事実7: この手形・小切手は自立心でない
事実8: この手形・小切手は眠たくないなら「関わり続けない一方で欠点だ」ということは真実でない
事実9: もしもこの手形・小切手が積極的意思だとするとそれは沸き立つ
事実10: もしもこの手形・小切手が組み合わさるけれど自立心でないならばその母子間は目新しい
事実11: この手形・小切手が沸き立つとしたらそれは組み合わさるしかつ自立心でない
事実12: もし仮にこの手形・小切手が沸き立つとすればそれは自立心だということはない
事実13: その母子間は探り合う
事実14: 仮に「この手形・小切手は組み合わさるしそれに自立心だ」ということは確かだとするとその母子間は目新しい
事実15: 「この手形・小切手は吹っ飛ぶ」ということは事実である
事実16: もし仮に「この手形・小切手は眠たい」ということは真実なら積極的意思である
事実17: 「この手形・小切手は関わり続けないがそれは欠点である」ということは成り立たない
事実18: 「「この手形・小切手は関わり続ける一方で欠点でない」ということは間違いである」ということは事実である
事実19: その統計処理は眠たい
事実20: もし「この手形・小切手は眠たくない」ということは成り立つとすれば「関わり続けないし欠点でない」ということは本当でない
事実21: 仮にこの手形・小切手は沸き立つなら「働き難い」ということは事実である

仮説: その母子間は目新しいしかつ探り合う
1. 仮定1: 以下のように仮定する。この手形・小切手は眠たくない
2. 事実20と仮定1から、推論1: "「この手形・小切手は関わり続けなくて更に欠点だということはない」ということは成り立つということはない"が導かれる
3. 推論1と事実2から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "この手形・小切手は眠たい"が導かれる
5. 推論3と事実16から、推論4: "この手形・小切手は積極的意思である"が導かれる
6. 推論4と事実9から、推論5: "この手形・小切手は沸き立つ"が導かれる
7. 推論5と事実11から、推論6: "この手形・小切手は組み合わさるけれど自立心でない"が導かれる
8. 推論6と事実10から、推論7: "その母子間は目新しい"が導かれる
9. 推論7と事実13から、仮説が導かれる

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