あのモロヘイヤは答え難い
fact1: 仮にこの子供本人が宣戦しないけど全世界ならばその手元は茶色っぽい fact2: 「この子供本人は紐帯であるけれど書き難くない」ということは確かでない fact3: もしもその手元が茶色っぽいとするとあのモロヘイヤは答え難い fact4: もし仮にこの六時前は茶色っぽいとしたら「この子供本人は全世界でなくてその上宣戦しない」ということは誤りでない fact5: あの増改築等家屋は脱落でない fact6: その手元は具体策であるとすれば「この子供本人は具体策でない」ということは成り立つ fact7: この子供本人は具体策である fact8: 全ての物は本業以外でない fact9: もし仮にこの子供本人が具体策ならそれは全世界だ fact10: その手元は紐帯であるならばそれは具体策である fact11: もし「あの増改築等家屋は脱落であるということはない」ということは成り立つとすればこの辻褄は破綻するがフォトでない fact12: 仮に「この辻褄は茶色っぽい」ということは正しいとすればあの六時前は茶色っぽい fact13: もしも「この子供本人は紐帯だがしかし書き難くない」ということは誤りであるならばそれは宣戦しない fact14: もしも何かは本業以外でないとしたらそれは紐帯であるかあるいは書き難い
fact9 & fact7 -> int1: この子供本人は全世界である; fact13 & fact2 -> int2: この子供本人は宣戦しない; int1 & int2 -> int3: この子供本人は宣戦しないけれど全世界だ; int3 & fact1 -> int4: その手元は茶色っぽい; int4 & fact3 -> hypothesis;
あのモロヘイヤは答え難くない
fact16 -> int5: もしあの農耕は本業以外でないならそれは紐帯であるかもしくは書き難い; fact15 -> int6: あの農耕は本業以外でない; int5 & int6 -> int7: あの農耕は紐帯であるかあるいはそれは書き難い; int7 -> int8: 何もかもは紐帯であるかもしくは書き難いかもしくは両方ともである; int8 -> int9: その手元は紐帯であるかあるいはそれは書き難い; fact17 & fact20 -> int10: この辻褄は破綻するけれどフォトでない;
$facts$ = fact1: 仮にこの子供本人が宣戦しないけど全世界ならばその手元は茶色っぽい fact2: 「この子供本人は紐帯であるけれど書き難くない」ということは確かでない fact3: もしもその手元が茶色っぽいとするとあのモロヘイヤは答え難い fact4: もし仮にこの六時前は茶色っぽいとしたら「この子供本人は全世界でなくてその上宣戦しない」ということは誤りでない fact5: あの増改築等家屋は脱落でない fact6: その手元は具体策であるとすれば「この子供本人は具体策でない」ということは成り立つ fact7: この子供本人は具体策である fact8: 全ての物は本業以外でない fact9: もし仮にこの子供本人が具体策ならそれは全世界だ fact10: その手元は紐帯であるならばそれは具体策である fact11: もし「あの増改築等家屋は脱落であるということはない」ということは成り立つとすればこの辻褄は破綻するがフォトでない fact12: 仮に「この辻褄は茶色っぽい」ということは正しいとすればあの六時前は茶色っぽい fact13: もしも「この子供本人は紐帯だがしかし書き難くない」ということは誤りであるならばそれは宣戦しない fact14: もしも何かは本業以外でないとしたらそれは紐帯であるかあるいは書き難い ; $hypothesis$ = あのモロヘイヤは答え難い ; $proof$ = 
fact9 & fact7 -> int1: この子供本人は全世界である; fact13 & fact2 -> int2: この子供本人は宣戦しない; int1 & int2 -> int3: この子供本人は宣戦しないけれど全世界だ; int3 & fact1 -> int4: その手元は茶色っぽい; int4 & fact3 -> hypothesis; __PROVED__
事実1: 仮にこの子供本人が宣戦しないけど全世界ならばその手元は茶色っぽい
事実2: 「この子供本人は紐帯であるけれど書き難くない」ということは確かでない
事実3: もしもその手元が茶色っぽいとするとあのモロヘイヤは答え難い
事実4: もし仮にこの六時前は茶色っぽいとしたら「この子供本人は全世界でなくてその上宣戦しない」ということは誤りでない
事実5: あの増改築等家屋は脱落でない
事実6: その手元は具体策であるとすれば「この子供本人は具体策でない」ということは成り立つ
事実7: この子供本人は具体策である
事実8: 全ての物は本業以外でない
事実9: もし仮にこの子供本人が具体策ならそれは全世界だ
事実10: その手元は紐帯であるならばそれは具体策である
事実11: もし「あの増改築等家屋は脱落であるということはない」ということは成り立つとすればこの辻褄は破綻するがフォトでない
事実12: 仮に「この辻褄は茶色っぽい」ということは正しいとすればあの六時前は茶色っぽい
事実13: もしも「この子供本人は紐帯だがしかし書き難くない」ということは誤りであるならばそれは宣戦しない
事実14: もしも何かは本業以外でないとしたらそれは紐帯であるかあるいは書き難い

仮説: あのモロヘイヤは答え難い
1. 事実9と事実7から、推論1: "この子供本人は全世界である"が導かれる
2. 事実13と事実2から、推論2: "この子供本人は宣戦しない"が導かれる
3. 推論1と推論2から、推論3: "この子供本人は宣戦しないけれど全世界だ"が導かれる
4. 推論3と事実1から、推論4: "その手元は茶色っぽい"が導かれる
5. 推論4と事実3から、仮説が導かれる

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