その神々仏がライティングソフトでないとすればこの修験者は砕け易くておまけに踏み荒らす
fact1: もしもその神々仏が砕け易くないとしたらこの修験者は踏み荒らすししかもそれはライティングソフトだ fact2: この修験者は踏み荒らす fact3: もしもその神々仏がライティングソフトだとすればこの修験者は砕け易い fact4: この第二次計画は踏み荒らす fact5: もしその神々仏はライティングソフトだとしたら「この修験者は砕け易いししかも踏み荒らす」ということは事実と異ならない fact6: もしもこの修験者がライティングソフトならその神々仏は踏み荒らすしそれにそれは砕け易い fact7: もしこの修験者がライティングソフトであるならばその神々仏は踏み荒らす fact8: この修験者がライティングソフトならばその神々仏は砕け易くて更に踏み荒らす fact9: その神々仏はナチス党員である fact10: 仮になにがしかの物が踏み荒らさないとするとそれは砕け易いしその上ライティングソフトである fact11: その神々仏が踏み荒らさないならこの修験者はライティングソフトであるしおまけに砕け易い fact12: もしもその神々仏は踏み荒らすとすると「この修験者はライティングソフトだ」ということは誤りでない fact13: その大家族主義は踏み荒らすしかつ掻い摘む fact14: もし仮にその神々仏がライティングソフトでないとしたらこの修験者は砕け易い
void -> assump1: 以下のように仮定する。その神々仏はライティングソフトでない; fact14 & assump1 -> int1: 「この修験者は砕け易い」ということは本当である; int1 & fact2 -> int2: 「この修験者は砕け易くてかつ踏み荒らす」ということは成り立つ; [assump1] & int2 -> hypothesis;
void -> assump1: ¬{A}{a}; fact14 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: ({B}{b} & {C}{b}); [assump1] & int2 -> hypothesis;
この剛腕は砕け易い
fact15 -> int3: 仮にこの剛腕が踏み荒らさないとしたらそれは砕け易くてそれにライティングソフトだ;
$facts$ = fact1: もしもその神々仏が砕け易くないとしたらこの修験者は踏み荒らすししかもそれはライティングソフトだ fact2: この修験者は踏み荒らす fact3: もしもその神々仏がライティングソフトだとすればこの修験者は砕け易い fact4: この第二次計画は踏み荒らす fact5: もしその神々仏はライティングソフトだとしたら「この修験者は砕け易いししかも踏み荒らす」ということは事実と異ならない fact6: もしもこの修験者がライティングソフトならその神々仏は踏み荒らすしそれにそれは砕け易い fact7: もしこの修験者がライティングソフトであるならばその神々仏は踏み荒らす fact8: この修験者がライティングソフトならばその神々仏は砕け易くて更に踏み荒らす fact9: その神々仏はナチス党員である fact10: 仮になにがしかの物が踏み荒らさないとするとそれは砕け易いしその上ライティングソフトである fact11: その神々仏が踏み荒らさないならこの修験者はライティングソフトであるしおまけに砕け易い fact12: もしもその神々仏は踏み荒らすとすると「この修験者はライティングソフトだ」ということは誤りでない fact13: その大家族主義は踏み荒らすしかつ掻い摘む fact14: もし仮にその神々仏がライティングソフトでないとしたらこの修験者は砕け易い ; $hypothesis$ = その神々仏がライティングソフトでないとすればこの修験者は砕け易くておまけに踏み荒らす ; $proof$ = 
void -> assump1: 以下のように仮定する。その神々仏はライティングソフトでない; fact14 & assump1 -> int1: 「この修験者は砕け易い」ということは本当である; int1 & fact2 -> int2: 「この修験者は砕け易くてかつ踏み荒らす」ということは成り立つ; [assump1] & int2 -> hypothesis; __PROVED__
事実1: もしもその神々仏が砕け易くないとしたらこの修験者は踏み荒らすししかもそれはライティングソフトだ
事実2: この修験者は踏み荒らす
事実3: もしもその神々仏がライティングソフトだとすればこの修験者は砕け易い
事実4: この第二次計画は踏み荒らす
事実5: もしその神々仏はライティングソフトだとしたら「この修験者は砕け易いししかも踏み荒らす」ということは事実と異ならない
事実6: もしもこの修験者がライティングソフトならその神々仏は踏み荒らすしそれにそれは砕け易い
事実7: もしこの修験者がライティングソフトであるならばその神々仏は踏み荒らす
事実8: この修験者がライティングソフトならばその神々仏は砕け易くて更に踏み荒らす
事実9: その神々仏はナチス党員である
事実10: 仮になにがしかの物が踏み荒らさないとするとそれは砕け易いしその上ライティングソフトである
事実11: その神々仏が踏み荒らさないならこの修験者はライティングソフトであるしおまけに砕け易い
事実12: もしもその神々仏は踏み荒らすとすると「この修験者はライティングソフトだ」ということは誤りでない
事実13: その大家族主義は踏み荒らすしかつ掻い摘む
事実14: もし仮にその神々仏がライティングソフトでないとしたらこの修験者は砕け易い

仮説: その神々仏がライティングソフトでないとすればこの修験者は砕け易くておまけに踏み荒らす
1. 仮定1: 以下のように仮定する。その神々仏はライティングソフトでない
2. 事実14と仮定1から、推論1: "「この修験者は砕け易い」ということは本当である"が導かれる
3. 推論1と事実2から、推論2: "「この修験者は砕け易くてかつ踏み荒らす」ということは成り立つ"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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