あのギヤ比は行李でないし意地悪くない
fact1: もし仮にあるものは湧き出でればそれは行李でない fact2: その救護措置は貸与するがしかしそれはルーメン微生物叢であるということはない fact3: もしもその救護措置は貸与する一方でルーメン微生物叢でないとしたら情け深いということはない fact4: もし「その梁山湖は頑是無くて加えて思し」ということは事実と異なるとしたらあのギヤ比は思しない fact5: もしあのギヤ比はノードでないしさらに思しということはないならそれは湧き出でる fact6: その梁山湖が湧き出でるということはないとすれば思しないし更に情け深くない fact7: もしもその救護措置はノードでないとすれば「あのギヤ比は行李でなくてそれは意地悪くない」ということは誤っている fact8: 「その梁山湖は頑是無いしその上思し」ということは事実でない fact9: もし仮にあのギヤ比はノードならば「その救護措置は情け深い」ということは成り立つ fact10: 仮に「その無駄金は湧き出でないかまたは貸与するということはないかまたはどちらもだ」ということは間違いであるとするとその梁山湖は湧き出でない fact11: あのギヤ比は意地悪くない
void -> assump1: 以下のように仮定する。「あのギヤ比はノードだ」ということは成り立つ; fact9 & assump1 -> int1: その救護措置は情け深い; fact2 & fact3 -> int2: その救護措置は情け深くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのギヤ比はノードでない; fact4 & fact8 -> int5: あのギヤ比は思しない; int4 & int5 -> int6: 「あのギヤ比はノードでないしさらにそれは思しない」ということは成り立つ; int6 & fact5 -> int7: あのギヤ比は湧き出でる; fact1 -> int8: 仮にあのギヤ比は湧き出でるとすると「それは行李でない」ということは成り立つ; int7 & int8 -> int9: あのギヤ比は行李でない; int9 & fact11 -> hypothesis;
「あのギヤ比は行李でないし加えて意地悪くない」ということは間違っている
$facts$ = fact1: もし仮にあるものは湧き出でればそれは行李でない fact2: その救護措置は貸与するがしかしそれはルーメン微生物叢であるということはない fact3: もしもその救護措置は貸与する一方でルーメン微生物叢でないとしたら情け深いということはない fact4: もし「その梁山湖は頑是無くて加えて思し」ということは事実と異なるとしたらあのギヤ比は思しない fact5: もしあのギヤ比はノードでないしさらに思しということはないならそれは湧き出でる fact6: その梁山湖が湧き出でるということはないとすれば思しないし更に情け深くない fact7: もしもその救護措置はノードでないとすれば「あのギヤ比は行李でなくてそれは意地悪くない」ということは誤っている fact8: 「その梁山湖は頑是無いしその上思し」ということは事実でない fact9: もし仮にあのギヤ比はノードならば「その救護措置は情け深い」ということは成り立つ fact10: 仮に「その無駄金は湧き出でないかまたは貸与するということはないかまたはどちらもだ」ということは間違いであるとするとその梁山湖は湧き出でない fact11: あのギヤ比は意地悪くない ; $hypothesis$ = あのギヤ比は行李でないし意地悪くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「あのギヤ比はノードだ」ということは成り立つ; fact9 & assump1 -> int1: その救護措置は情け深い; fact2 & fact3 -> int2: その救護措置は情け深くない; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのギヤ比はノードでない; fact4 & fact8 -> int5: あのギヤ比は思しない; int4 & int5 -> int6: 「あのギヤ比はノードでないしさらにそれは思しない」ということは成り立つ; int6 & fact5 -> int7: あのギヤ比は湧き出でる; fact1 -> int8: 仮にあのギヤ比は湧き出でるとすると「それは行李でない」ということは成り立つ; int7 & int8 -> int9: あのギヤ比は行李でない; int9 & fact11 -> hypothesis; __PROVED__
事実1: もし仮にあるものは湧き出でればそれは行李でない
事実2: その救護措置は貸与するがしかしそれはルーメン微生物叢であるということはない
事実3: もしもその救護措置は貸与する一方でルーメン微生物叢でないとしたら情け深いということはない
事実4: もし「その梁山湖は頑是無くて加えて思し」ということは事実と異なるとしたらあのギヤ比は思しない
事実5: もしあのギヤ比はノードでないしさらに思しということはないならそれは湧き出でる
事実6: その梁山湖が湧き出でるということはないとすれば思しないし更に情け深くない
事実7: もしもその救護措置はノードでないとすれば「あのギヤ比は行李でなくてそれは意地悪くない」ということは誤っている
事実8: 「その梁山湖は頑是無いしその上思し」ということは事実でない
事実9: もし仮にあのギヤ比はノードならば「その救護措置は情け深い」ということは成り立つ
事実10: 仮に「その無駄金は湧き出でないかまたは貸与するということはないかまたはどちらもだ」ということは間違いであるとするとその梁山湖は湧き出でない
事実11: あのギヤ比は意地悪くない

仮説: あのギヤ比は行李でないし意地悪くない
1. 仮定1: 以下のように仮定する。「あのギヤ比はノードだ」ということは成り立つ
2. 事実9と仮定1から、推論1: "その救護措置は情け深い"が導かれる
3. 事実2と事実3から、推論2: "その救護措置は情け深くない"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのギヤ比はノードでない"が導かれる
6. 事実4と事実8から、推論5: "あのギヤ比は思しない"が導かれる
7. 推論4と推論5から、推論6: "「あのギヤ比はノードでないしさらにそれは思しない」ということは成り立つ"が導かれる
8. 推論6と事実5から、推論7: "あのギヤ比は湧き出でる"が導かれる
9. 事実1から、推論8: "仮にあのギヤ比は湧き出でるとすると「それは行李でない」ということは成り立つ"が導かれる
10. 推論7と推論8から、推論9: "あのギヤ比は行李でない"が導かれる
11. 推論9と事実11から、仮説が導かれる

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