その二分以内は植菌しない
fact1: もし「その白樺林は通航である」ということは誤っていないなら掻き易い fact2: もし仮にその白樺林が気候条件でないとするとあの公示性は気候条件でないし通航でない fact3: あの補訂版は聞き取らなくてまた第一種市街地再開発事業だということはない fact4: もしこの経営状態が詰まり易くないならばその二分以内は詰まり易くてまたそれは植菌する fact5: もしもこのローマ帝国時代が聞き取らないとしたらあの公示性は聞き取らなくてしかも気候条件でない fact6: その二分以内は詰まり易い fact7: その白樺林は通航だ fact8: あの公示性は気候条件でない fact9: あの公示性が聞き取らなくて気候条件でないとすればこの経営状態は詰まり易くない fact10: このローマ帝国時代は購買する fact11: その強制執行等は購買する fact12: 仮にこのローマ帝国時代が聞き取るしそれが購買すればその白樺林は掻き易くない fact13: もし仮にその二分以内が気候条件でないならあの公示性は詰まり易くない fact14: 仮に「なんらかのものは気候条件だということはなくてまた通航でない」ということは成り立たないとしたら詰まり易くない fact15: もしもこのローマ帝国時代が詰まり易くないならばその二分以内は掻き易いしおまけに購買する
void -> assump1: 以下のように仮定する。このローマ帝国時代は聞き取る; assump1 & fact10 -> int1: このローマ帝国時代は聞き取るし購買する; int1 & fact12 -> int2: その白樺林は掻き易くない; fact7 & fact1 -> int3: その白樺林は掻き易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このローマ帝国時代は聞き取るということはない; int5 & fact5 -> int6: あの公示性が聞き取らないしさらに気候条件でない; int6 & fact9 -> int7: この経営状態は詰まり易くない; int7 & fact4 -> int8: その二分以内は詰まり易いしおまけに植菌する; int8 -> hypothesis;
その二分以内は植菌しない
fact16 -> int9: もし仮に「このローマ帝国時代は気候条件でなくてそれにそれは通航でない」ということは事実と異なるとすれば詰まり易くない;
$facts$ = fact1: もし「その白樺林は通航である」ということは誤っていないなら掻き易い fact2: もし仮にその白樺林が気候条件でないとするとあの公示性は気候条件でないし通航でない fact3: あの補訂版は聞き取らなくてまた第一種市街地再開発事業だということはない fact4: もしこの経営状態が詰まり易くないならばその二分以内は詰まり易くてまたそれは植菌する fact5: もしもこのローマ帝国時代が聞き取らないとしたらあの公示性は聞き取らなくてしかも気候条件でない fact6: その二分以内は詰まり易い fact7: その白樺林は通航だ fact8: あの公示性は気候条件でない fact9: あの公示性が聞き取らなくて気候条件でないとすればこの経営状態は詰まり易くない fact10: このローマ帝国時代は購買する fact11: その強制執行等は購買する fact12: 仮にこのローマ帝国時代が聞き取るしそれが購買すればその白樺林は掻き易くない fact13: もし仮にその二分以内が気候条件でないならあの公示性は詰まり易くない fact14: 仮に「なんらかのものは気候条件だということはなくてまた通航でない」ということは成り立たないとしたら詰まり易くない fact15: もしもこのローマ帝国時代が詰まり易くないならばその二分以内は掻き易いしおまけに購買する ; $hypothesis$ = その二分以内は植菌しない ; $proof$ = 
void -> assump1: 以下のように仮定する。このローマ帝国時代は聞き取る; assump1 & fact10 -> int1: このローマ帝国時代は聞き取るし購買する; int1 & fact12 -> int2: その白樺林は掻き易くない; fact7 & fact1 -> int3: その白樺林は掻き易い; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: このローマ帝国時代は聞き取るということはない; int5 & fact5 -> int6: あの公示性が聞き取らないしさらに気候条件でない; int6 & fact9 -> int7: この経営状態は詰まり易くない; int7 & fact4 -> int8: その二分以内は詰まり易いしおまけに植菌する; int8 -> hypothesis; __DISPROVED__
事実1: もし「その白樺林は通航である」ということは誤っていないなら掻き易い
事実2: もし仮にその白樺林が気候条件でないとするとあの公示性は気候条件でないし通航でない
事実3: あの補訂版は聞き取らなくてまた第一種市街地再開発事業だということはない
事実4: もしこの経営状態が詰まり易くないならばその二分以内は詰まり易くてまたそれは植菌する
事実5: もしもこのローマ帝国時代が聞き取らないとしたらあの公示性は聞き取らなくてしかも気候条件でない
事実6: その二分以内は詰まり易い
事実7: その白樺林は通航だ
事実8: あの公示性は気候条件でない
事実9: あの公示性が聞き取らなくて気候条件でないとすればこの経営状態は詰まり易くない
事実10: このローマ帝国時代は購買する
事実11: その強制執行等は購買する
事実12: 仮にこのローマ帝国時代が聞き取るしそれが購買すればその白樺林は掻き易くない
事実13: もし仮にその二分以内が気候条件でないならあの公示性は詰まり易くない
事実14: 仮に「なんらかのものは気候条件だということはなくてまた通航でない」ということは成り立たないとしたら詰まり易くない
事実15: もしもこのローマ帝国時代が詰まり易くないならばその二分以内は掻き易いしおまけに購買する

仮説: その二分以内は植菌しない
1. 仮定1: 以下のように仮定する。このローマ帝国時代は聞き取る
2. 仮定1と事実10から、推論1: "このローマ帝国時代は聞き取るし購買する"が導かれる
3. 推論1と事実12から、推論2: "その白樺林は掻き易くない"が導かれる
4. 事実7と事実1から、推論3: "その白樺林は掻き易い"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "このローマ帝国時代は聞き取るということはない"が導かれる
7. 推論5と事実5から、推論6: "あの公示性が聞き取らないしさらに気候条件でない"が導かれる
8. 推論6と事実9から、推論7: "この経営状態は詰まり易くない"が導かれる
9. 推論7と事実4から、推論8: "その二分以内は詰まり易いしおまけに植菌する"が導かれる
10. 推論8から、仮説が否定される

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