あの二歳牡馬は正月休みである
fact1: もしもその整備・充実は正月休みであるとしたら「あの二歳牡馬は除草剤生育期茎葉処理である」ということは成り立つ fact2: その整備・充実は除草剤生育期茎葉処理であるか窃盗犯人であるかもしくは両方ともである fact3: 「その溶液はくねる」ということは正しいとすればその犬鷲は訳無い fact4: その溶液は訳無い fact5: 訳無くない物は堪り易くないかまたは正月休みでないかあるいは両方だ fact6: もしあるものが堪り易くないか正月休みでないなら正月休みでない fact7: 仮にその犬鷲が堪り易いならその溶液はくねる fact8: もしなにがしかの物が堪り易いならばそれは勃起し切る fact9: その溶液が堪り易くないかもしくは除草剤生育期茎葉処理であるかまたは両方ともならばあの整備・充実は勃起し切る fact10: もし仮にその整備・充実は除草剤生育期茎葉処理でないとすれば「あの二歳牡馬は正月休みである」ということは間違いでない fact11: その溶液は窃盗犯人である fact12: もしその溶液は訳無いとすれば「それは堪り易い」ということは成り立つ fact13: もしその溶液が勃起し切るとすればその犬鷲はくねる fact14: もしもその溶液は窃盗犯人であるなら「それはくねらないか除草剤生育期茎葉処理でないかもしくはどちらもである」ということは間違いである fact15: もしもその溶液が除草剤生育期茎葉処理であるとするとその整備・充実は勃起し切る fact16: 仮にその犬鷲がくねるとしたらこのプリント生地は除草剤生育期茎葉処理である fact17: もし「このプリント生地は除草剤生育期茎葉処理である」ということは本当であるならばその整備・充実は除草剤生育期茎葉処理であるかあるいは窃盗犯人だ fact18: もしもこのプリント生地が勃起し切るとしたら除草剤生育期茎葉処理だ fact19: もし仮にこのプリント生地が除草剤生育期茎葉処理であるとしたらその整備・充実は除草剤生育期茎葉処理でないかあるいはそれは窃盗犯人であるかどちらもである fact20: もし仮に何かは勃起し切るとしたらそれはくねる fact21: この反射的利益は正月休みだ fact22: もしその整備・充実が除草剤生育期茎葉処理でないか窃盗犯人ならばあの二歳牡馬は正月休みだ
fact12 & fact4 -> int1: その溶液は堪り易い; fact8 -> int2: 「もし仮に「その溶液は堪り易い」ということは正しいならばその溶液は勃起し切る」ということは真実だ; int1 & int2 -> int3: その溶液は勃起し切る; int3 & fact13 -> int4: その犬鷲はくねる; int4 & fact16 -> int5: このプリント生地は除草剤生育期茎葉処理である; int5 & fact19 -> int6: その整備・充実は除草剤生育期茎葉処理でないかもしくは窃盗犯人であるかまたは両方ともだ; int6 & fact22 -> hypothesis;
あの二歳牡馬は正月休みでない
fact24 -> int7: もしあの二歳牡馬は堪り易いということはないかまたは正月休みでないかあるいはどちらもであるとすれば正月休みでない; fact23 -> int8: もしあの二歳牡馬が訳無くないなら堪り易くないかもしくは正月休みでないかどちらもである; fact25 & fact26 -> int9: 「その溶液はくねるということはないかもしくは除草剤生育期茎葉処理でない」ということは間違っている; int9 -> int10: 「「くねらないかもしくは除草剤生育期茎葉処理でないかあるいは両方だ」ということは誤りである」ものはある;
$facts$ = fact1: もしもその整備・充実は正月休みであるとしたら「あの二歳牡馬は除草剤生育期茎葉処理である」ということは成り立つ fact2: その整備・充実は除草剤生育期茎葉処理であるか窃盗犯人であるかもしくは両方ともである fact3: 「その溶液はくねる」ということは正しいとすればその犬鷲は訳無い fact4: その溶液は訳無い fact5: 訳無くない物は堪り易くないかまたは正月休みでないかあるいは両方だ fact6: もしあるものが堪り易くないか正月休みでないなら正月休みでない fact7: 仮にその犬鷲が堪り易いならその溶液はくねる fact8: もしなにがしかの物が堪り易いならばそれは勃起し切る fact9: その溶液が堪り易くないかもしくは除草剤生育期茎葉処理であるかまたは両方ともならばあの整備・充実は勃起し切る fact10: もし仮にその整備・充実は除草剤生育期茎葉処理でないとすれば「あの二歳牡馬は正月休みである」ということは間違いでない fact11: その溶液は窃盗犯人である fact12: もしその溶液は訳無いとすれば「それは堪り易い」ということは成り立つ fact13: もしその溶液が勃起し切るとすればその犬鷲はくねる fact14: もしもその溶液は窃盗犯人であるなら「それはくねらないか除草剤生育期茎葉処理でないかもしくはどちらもである」ということは間違いである fact15: もしもその溶液が除草剤生育期茎葉処理であるとするとその整備・充実は勃起し切る fact16: 仮にその犬鷲がくねるとしたらこのプリント生地は除草剤生育期茎葉処理である fact17: もし「このプリント生地は除草剤生育期茎葉処理である」ということは本当であるならばその整備・充実は除草剤生育期茎葉処理であるかあるいは窃盗犯人だ fact18: もしもこのプリント生地が勃起し切るとしたら除草剤生育期茎葉処理だ fact19: もし仮にこのプリント生地が除草剤生育期茎葉処理であるとしたらその整備・充実は除草剤生育期茎葉処理でないかあるいはそれは窃盗犯人であるかどちらもである fact20: もし仮に何かは勃起し切るとしたらそれはくねる fact21: この反射的利益は正月休みだ fact22: もしその整備・充実が除草剤生育期茎葉処理でないか窃盗犯人ならばあの二歳牡馬は正月休みだ ; $hypothesis$ = あの二歳牡馬は正月休みである ; $proof$ = 
fact12 & fact4 -> int1: その溶液は堪り易い; fact8 -> int2: 「もし仮に「その溶液は堪り易い」ということは正しいならばその溶液は勃起し切る」ということは真実だ; int1 & int2 -> int3: その溶液は勃起し切る; int3 & fact13 -> int4: その犬鷲はくねる; int4 & fact16 -> int5: このプリント生地は除草剤生育期茎葉処理である; int5 & fact19 -> int6: その整備・充実は除草剤生育期茎葉処理でないかもしくは窃盗犯人であるかまたは両方ともだ; int6 & fact22 -> hypothesis; __PROVED__
事実1: もしもその整備・充実は正月休みであるとしたら「あの二歳牡馬は除草剤生育期茎葉処理である」ということは成り立つ
事実2: その整備・充実は除草剤生育期茎葉処理であるか窃盗犯人であるかもしくは両方ともである
事実3: 「その溶液はくねる」ということは正しいとすればその犬鷲は訳無い
事実4: その溶液は訳無い
事実5: 訳無くない物は堪り易くないかまたは正月休みでないかあるいは両方だ
事実6: もしあるものが堪り易くないか正月休みでないなら正月休みでない
事実7: 仮にその犬鷲が堪り易いならその溶液はくねる
事実8: もしなにがしかの物が堪り易いならばそれは勃起し切る
事実9: その溶液が堪り易くないかもしくは除草剤生育期茎葉処理であるかまたは両方ともならばあの整備・充実は勃起し切る
事実10: もし仮にその整備・充実は除草剤生育期茎葉処理でないとすれば「あの二歳牡馬は正月休みである」ということは間違いでない
事実11: その溶液は窃盗犯人である
事実12: もしその溶液は訳無いとすれば「それは堪り易い」ということは成り立つ
事実13: もしその溶液が勃起し切るとすればその犬鷲はくねる
事実14: もしもその溶液は窃盗犯人であるなら「それはくねらないか除草剤生育期茎葉処理でないかもしくはどちらもである」ということは間違いである
事実15: もしもその溶液が除草剤生育期茎葉処理であるとするとその整備・充実は勃起し切る
事実16: 仮にその犬鷲がくねるとしたらこのプリント生地は除草剤生育期茎葉処理である
事実17: もし「このプリント生地は除草剤生育期茎葉処理である」ということは本当であるならばその整備・充実は除草剤生育期茎葉処理であるかあるいは窃盗犯人だ
事実18: もしもこのプリント生地が勃起し切るとしたら除草剤生育期茎葉処理だ
事実19: もし仮にこのプリント生地が除草剤生育期茎葉処理であるとしたらその整備・充実は除草剤生育期茎葉処理でないかあるいはそれは窃盗犯人であるかどちらもである
事実20: もし仮に何かは勃起し切るとしたらそれはくねる
事実21: この反射的利益は正月休みだ
事実22: もしその整備・充実が除草剤生育期茎葉処理でないか窃盗犯人ならばあの二歳牡馬は正月休みだ

仮説: あの二歳牡馬は正月休みである
1. 事実12と事実4から、推論1: "その溶液は堪り易い"が導かれる
2. 事実8から、推論2: "「もし仮に「その溶液は堪り易い」ということは正しいならばその溶液は勃起し切る」ということは真実だ"が導かれる
3. 推論1と推論2から、推論3: "その溶液は勃起し切る"が導かれる
4. 推論3と事実13から、推論4: "その犬鷲はくねる"が導かれる
5. 推論4と事実16から、推論5: "このプリント生地は除草剤生育期茎葉処理である"が導かれる
6. 推論5と事実19から、推論6: "その整備・充実は除草剤生育期茎葉処理でないかもしくは窃盗犯人であるかまたは両方ともだ"が導かれる
7. 推論6と事実22から、仮説が導かれる

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