もし仮にあの非課税特例が凄まじいとすればその各家は山砂でないかあるいは飼育出来ないかもしくはどちらもである
fact1: 仮にあの非課税特例が凄まじいとしたらその各家は山砂でないか飼育出来るかあるいは両方だ fact2: 捕まえ易いものは凄まじい fact3: 仮にその信者達が捕まえ易いしそれにそれが手厳しいならばあの非課税特例は凄まじい fact4: もしもその信者達は捕まえ易くないとすれば「その各家は山砂であるということはないかそれは飼育出来ない」ということは成り立つ fact5: 仮にその信者達が捕まえ易くないとすればあの各家は山砂であるということはないか飼育出来るか両方だ fact6: もし仮にその信者達が捕まえ易いということはないとするとその各家は山砂であるかあるいは飼育出来ないかもしくはどちらもである fact7: もしその信者達が捕まえ易いしさらに手厳しいとするとあの非課税特例は凄まじくない fact8: 仮にあの非課税特例が飼育出来るしさらに凄まじいならばあの各家は捕まえ易くない fact9: その信者達は手厳しい fact10: その各家は山砂であるかもしくはそれは飼育出来ないかあるいはどちらもだ fact11: その信者達が凄まじくないとしたらあの非課税特例は捕まえ易くないかまたはそれは手厳しくない
void -> assump2: 以下のように仮定する。その信者達は捕まえ易い; assump2 & fact9 -> int1: その信者達は捕まえ易くて更に手厳しい; int1 & fact7 -> int2: あの非課税特例は凄まじいということはない; void -> assump1: 以下のように仮定する。あの非課税特例は凄まじい; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その信者達は捕まえ易くない; int4 & fact4 -> int5: その各家は山砂でないかあるいはそれは飼育出来ないかあるいは両方ともである; [assump1] & int5 -> hypothesis;
この駐在は凄まじい
fact12 -> int6: この駐在が捕まえ易いとしたら凄まじい;
$facts$ = fact1: 仮にあの非課税特例が凄まじいとしたらその各家は山砂でないか飼育出来るかあるいは両方だ fact2: 捕まえ易いものは凄まじい fact3: 仮にその信者達が捕まえ易いしそれにそれが手厳しいならばあの非課税特例は凄まじい fact4: もしもその信者達は捕まえ易くないとすれば「その各家は山砂であるということはないかそれは飼育出来ない」ということは成り立つ fact5: 仮にその信者達が捕まえ易くないとすればあの各家は山砂であるということはないか飼育出来るか両方だ fact6: もし仮にその信者達が捕まえ易いということはないとするとその各家は山砂であるかあるいは飼育出来ないかもしくはどちらもである fact7: もしその信者達が捕まえ易いしさらに手厳しいとするとあの非課税特例は凄まじくない fact8: 仮にあの非課税特例が飼育出来るしさらに凄まじいならばあの各家は捕まえ易くない fact9: その信者達は手厳しい fact10: その各家は山砂であるかもしくはそれは飼育出来ないかあるいはどちらもだ fact11: その信者達が凄まじくないとしたらあの非課税特例は捕まえ易くないかまたはそれは手厳しくない ; $hypothesis$ = もし仮にあの非課税特例が凄まじいとすればその各家は山砂でないかあるいは飼育出来ないかもしくはどちらもである ; $proof$ = 
void -> assump2: 以下のように仮定する。その信者達は捕まえ易い; assump2 & fact9 -> int1: その信者達は捕まえ易くて更に手厳しい; int1 & fact7 -> int2: あの非課税特例は凄まじいということはない; void -> assump1: 以下のように仮定する。あの非課税特例は凄まじい; int2 & assump1 -> int3: これは矛盾である; [assump2] & int3 -> int4: その信者達は捕まえ易くない; int4 & fact4 -> int5: その各家は山砂でないかあるいはそれは飼育出来ないかあるいは両方ともである; [assump1] & int5 -> hypothesis; __PROVED__
事実1: 仮にあの非課税特例が凄まじいとしたらその各家は山砂でないか飼育出来るかあるいは両方だ
事実2: 捕まえ易いものは凄まじい
事実3: 仮にその信者達が捕まえ易いしそれにそれが手厳しいならばあの非課税特例は凄まじい
事実4: もしもその信者達は捕まえ易くないとすれば「その各家は山砂であるということはないかそれは飼育出来ない」ということは成り立つ
事実5: 仮にその信者達が捕まえ易くないとすればあの各家は山砂であるということはないか飼育出来るか両方だ
事実6: もし仮にその信者達が捕まえ易いということはないとするとその各家は山砂であるかあるいは飼育出来ないかもしくはどちらもである
事実7: もしその信者達が捕まえ易いしさらに手厳しいとするとあの非課税特例は凄まじくない
事実8: 仮にあの非課税特例が飼育出来るしさらに凄まじいならばあの各家は捕まえ易くない
事実9: その信者達は手厳しい
事実10: その各家は山砂であるかもしくはそれは飼育出来ないかあるいはどちらもだ
事実11: その信者達が凄まじくないとしたらあの非課税特例は捕まえ易くないかまたはそれは手厳しくない

仮説: もし仮にあの非課税特例が凄まじいとすればその各家は山砂でないかあるいは飼育出来ないかもしくはどちらもである
1. 仮定2: 以下のように仮定する。その信者達は捕まえ易い
2. 仮定2と事実9から、推論1: "その信者達は捕まえ易くて更に手厳しい"が導かれる
3. 推論1と事実7から、推論2: "あの非課税特例は凄まじいということはない"が導かれる
4. 仮定1: 以下のように仮定する。あの非課税特例は凄まじい
5. 推論2と仮定1から、推論3: "これは矛盾である"が導かれる
6. [仮定2]と推論3から、推論4: "その信者達は捕まえ易くない"が導かれる
7. 推論4と事実4から、推論5: "その各家は山砂でないかあるいはそれは飼育出来ないかあるいは両方ともである"が導かれる
8. [仮定1]と推論5から、仮説が導かれる

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