「もし仮にあの貢献者が歩き始めるとするとこの祗園祭りは入れ難くないか人間らしいかまたは両方ともだ」ということは成り立たない
fact1: もしもあの貢献者が入れ難いとしたらこの祗園祭りはテキストフィールドであるかまたは歩き始めるかもしくはどちらもである fact2: あの貢献者はテキストフィールドでないかもしくは人間らしいかもしくはどちらもである fact3: あの貢献者は歩き始めるということはないか人間らしいかどちらもである fact4: この祗園祭りは入れ難いかあるいは人間らしいかもしくは両方だ fact5: あの貢献者は歩き始めれば「テキストフィールドだ」ということは真実だ fact6: 仮に「あの貢献者はテキストフィールドである」ということは確かであるならばこの祗園祭りは歩き始めるかもしくは人間らしいかもしくは両方だ fact7: この祗園祭りはテキストフィールドだということはないかあるいは人間らしい fact8: この包装単位は取っ付き易くないかもしくは遠望するかあるいはどちらもである fact9: もしこの祗園祭りが歩き始めるとすればあの貢献者はテキストフィールドでないかもしくは人間らしいかもしくはどちらもである fact10: その百五十人は歩き始めるということはないかあるいはそれは動ずるかもしくは両方ともだ fact11: もしもあの貢献者がテキストフィールドならばこの祗園祭りは入れ難いということはないかまたはそれは人間らしい fact12: あの貢献者は入れ難い fact13: もしもあの貢献者が人間らしいならこの祗園祭りはテキストフィールドでないかあるいは入れ難いかどちらもだ fact14: もし仮にこの祗園祭りが歩き始めるとすればあの貢献者は人間らしいということはないかもしくはそれは入れ難い fact15: もしこの祗園祭りが歩き始めるとするとあの貢献者は人間らしいかそれは入れ難いかもしくは両方である fact16: 入れ難くない物は歩き始めるし人間らしい fact17: もしあの貢献者が人間らしいとすればあの祗園祭りはテキストフィールドでないかまたはそれは歩き始める fact18: 仮にあの骨董が届けるとすれば洋酒だ fact19: もしもこの祗園祭りが入れ難いとしたらあの貢献者はテキストフィールドであるかまたは人間らしい fact20: もしあの貢献者が歩き始めるとしたらこの祗園祭りは入れ難いか人間らしいかまたは両方である fact21: もしとある物が歩き始めればそれはテキストフィールドでないか書き綴る
void -> assump1: 以下のように仮定する。あの貢献者は歩き始める; fact5 & assump1 -> int1: 「あの貢献者はテキストフィールドである」ということは成り立つ; int1 & fact11 -> int2: この祗園祭りは入れ難いということはないかまたは人間らしいかあるいは両方ともだ; [assump1] & int2 -> hypothesis;
この祗園祭りはテキストフィールドだということはないか書き綴るかあるいはどちらもである
fact23 -> int3: もしこの祗園祭りは歩き始めるなら「テキストフィールドでないかあるいはそれは書き綴るかもしくは両方である」ということは確かだ; fact22 -> int4: もしこの祗園祭りが入れ難くないならばそれは歩き始めるしそれに人間らしい;
$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: 以下のように仮定する。あの貢献者は歩き始める; fact5 & assump1 -> int1: 「あの貢献者はテキストフィールドである」ということは成り立つ; int1 & fact11 -> int2: この祗園祭りは入れ難いということはないかまたは人間らしいかあるいは両方ともだ; [assump1] & int2 -> hypothesis; __DISPROVED__
事実1: もしもあの貢献者が入れ難いとしたらこの祗園祭りはテキストフィールドであるかまたは歩き始めるかもしくはどちらもである
事実2: あの貢献者はテキストフィールドでないかもしくは人間らしいかもしくはどちらもである
事実3: あの貢献者は歩き始めるということはないか人間らしいかどちらもである
事実4: この祗園祭りは入れ難いかあるいは人間らしいかもしくは両方だ
事実5: あの貢献者は歩き始めれば「テキストフィールドだ」ということは真実だ
事実6: 仮に「あの貢献者はテキストフィールドである」ということは確かであるならばこの祗園祭りは歩き始めるかもしくは人間らしいかもしくは両方だ
事実7: この祗園祭りはテキストフィールドだということはないかあるいは人間らしい
事実8: この包装単位は取っ付き易くないかもしくは遠望するかあるいはどちらもである
事実9: もしこの祗園祭りが歩き始めるとすればあの貢献者はテキストフィールドでないかもしくは人間らしいかもしくはどちらもである
事実10: その百五十人は歩き始めるということはないかあるいはそれは動ずるかもしくは両方ともだ
事実11: もしもあの貢献者がテキストフィールドならばこの祗園祭りは入れ難いということはないかまたはそれは人間らしい
事実12: あの貢献者は入れ難い
事実13: もしもあの貢献者が人間らしいならこの祗園祭りはテキストフィールドでないかあるいは入れ難いかどちらもだ
事実14: もし仮にこの祗園祭りが歩き始めるとすればあの貢献者は人間らしいということはないかもしくはそれは入れ難い
事実15: もしこの祗園祭りが歩き始めるとするとあの貢献者は人間らしいかそれは入れ難いかもしくは両方である
事実16: 入れ難くない物は歩き始めるし人間らしい
事実17: もしあの貢献者が人間らしいとすればあの祗園祭りはテキストフィールドでないかまたはそれは歩き始める
事実18: 仮にあの骨董が届けるとすれば洋酒だ
事実19: もしもこの祗園祭りが入れ難いとしたらあの貢献者はテキストフィールドであるかまたは人間らしい
事実20: もしあの貢献者が歩き始めるとしたらこの祗園祭りは入れ難いか人間らしいかまたは両方である
事実21: もしとある物が歩き始めればそれはテキストフィールドでないか書き綴る

仮説: 「もし仮にあの貢献者が歩き始めるとするとこの祗園祭りは入れ難くないか人間らしいかまたは両方ともだ」ということは成り立たない
1. 仮定1: 以下のように仮定する。あの貢献者は歩き始める
2. 事実5と仮定1から、推論1: "「あの貢献者はテキストフィールドである」ということは成り立つ"が導かれる
3. 推論1と事実11から、推論2: "この祗園祭りは入れ難いということはないかまたは人間らしいかあるいは両方ともだ"が導かれる
4. [仮定1]と推論2から、仮説が否定される

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