この都市計画区域は打点である
fact1: このわきゃは指導方法であるがそれは環境省令でない fact2: もし仮に「打点だということはない」物があるとすればあの都市計画区域は押し上げる fact3: もし仮にこのわきゃが不足し易いとするとこの衣蛾りんは不足し易くない fact4: その教会前は紡績工場であるししかも狂う fact5: このわきゃは不足し易い fact6: もし仮に何らかのものがへばらないならそれは打点でない fact7: このわきゃは指導方法だ fact8: もしなんらかの物はアバンチュールでないとしたら不足し易くて押し上げる fact9: もし仮にこのわきゃが押し上げるとすればあの都市計画区域は打点でない fact10: なにがしかのものが不足し易いということはないとするとそれは環境省令で押し上げる fact11: もし「「間違え易いし所望しない」ということは真実であるということはない」物があるとしたらそのＥＰＣはへばらない fact12: もしも「押し上げる」ものはあれば「このわきゃは不足し易くない一方でそれはアバンチュールだ」ということは誤りである fact13: 仮に紡績工場が狂えば計画化しない fact14: もしこのわきゃが指導方法であるけれど環境省令でないならばそれはアバンチュールでない fact15: もしもこのわきゃはアバンチュールでないとするとそれは不足し易い fact16: 仮に「何らかの物は不足し易くないけれどアバンチュールである」ということは事実と異なるとすれば不足し易い fact17: なんらかのものは計画化しないとすれば「間違え易いし所望しない」ということは確かでない
fact14 & fact1 -> int1: このわきゃはアバンチュールでない; fact8 -> int2: 仮にこのわきゃがアバンチュールでないならばそれは不足し易いしまた押し上げる; int1 & int2 -> int3: 「このわきゃは不足し易いしその上押し上げる」ということは成り立つ; int3 -> int4: このわきゃは押し上げる; int4 & fact9 -> hypothesis;
この衣蛾りんは不足し易くない
fact24 -> int5: もし仮に「このわきゃは不足し易くないけどアバンチュールだ」ということは事実と異なるなら不足し易い; fact22 -> int6: もしそのＥＰＣがへばるということはないならそれは打点でない; fact21 -> int7: もしもその教会前は計画化しないならば「「それは間違え易くてそれに所望しない」ということは正しい」ということは確かでない; fact20 -> int8: もしもその教会前は紡績工場でかつ狂うとすると計画化するということはない; int8 & fact26 -> int9: その教会前は計画化しない; int7 & int9 -> int10: 「その教会前は間違え易いがしかしそれは所望しない」ということは間違いだ; int10 -> int11: 「「間違え易い一方で所望しない」ということは確かでない」物はある; int11 & fact25 -> int12: そのＥＰＣはへばるということはない; int6 & int12 -> int13: そのＥＰＣは打点でない; int13 -> int14: 「打点でない」物はある; int14 & fact19 -> int15: この都市計画区域は押し上げる; int15 -> int16: なんらかの物は押し上げる; int16 & fact18 -> int17: 「このわきゃは不足し易いということはないがアバンチュールである」ということは嘘である; int5 & int17 -> int18: このわきゃは不足し易い; fact23 & int18 -> hypothesis;
$facts$ = fact1: このわきゃは指導方法であるがそれは環境省令でない fact2: もし仮に「打点だということはない」物があるとすればあの都市計画区域は押し上げる fact3: もし仮にこのわきゃが不足し易いとするとこの衣蛾りんは不足し易くない fact4: その教会前は紡績工場であるししかも狂う fact5: このわきゃは不足し易い fact6: もし仮に何らかのものがへばらないならそれは打点でない fact7: このわきゃは指導方法だ fact8: もしなんらかの物はアバンチュールでないとしたら不足し易くて押し上げる fact9: もし仮にこのわきゃが押し上げるとすればあの都市計画区域は打点でない fact10: なにがしかのものが不足し易いということはないとするとそれは環境省令で押し上げる fact11: もし「「間違え易いし所望しない」ということは真実であるということはない」物があるとしたらそのＥＰＣはへばらない fact12: もしも「押し上げる」ものはあれば「このわきゃは不足し易くない一方でそれはアバンチュールだ」ということは誤りである fact13: 仮に紡績工場が狂えば計画化しない fact14: もしこのわきゃが指導方法であるけれど環境省令でないならばそれはアバンチュールでない fact15: もしもこのわきゃはアバンチュールでないとするとそれは不足し易い fact16: 仮に「何らかの物は不足し易くないけれどアバンチュールである」ということは事実と異なるとすれば不足し易い fact17: なんらかのものは計画化しないとすれば「間違え易いし所望しない」ということは確かでない ; $hypothesis$ = この都市計画区域は打点である ; $proof$ = 
fact14 & fact1 -> int1: このわきゃはアバンチュールでない; fact8 -> int2: 仮にこのわきゃがアバンチュールでないならばそれは不足し易いしまた押し上げる; int1 & int2 -> int3: 「このわきゃは不足し易いしその上押し上げる」ということは成り立つ; int3 -> int4: このわきゃは押し上げる; int4 & fact9 -> hypothesis; __DISPROVED__
事実1: このわきゃは指導方法であるがそれは環境省令でない
事実2: もし仮に「打点だということはない」物があるとすればあの都市計画区域は押し上げる
事実3: もし仮にこのわきゃが不足し易いとするとこの衣蛾りんは不足し易くない
事実4: その教会前は紡績工場であるししかも狂う
事実5: このわきゃは不足し易い
事実6: もし仮に何らかのものがへばらないならそれは打点でない
事実7: このわきゃは指導方法だ
事実8: もしなんらかの物はアバンチュールでないとしたら不足し易くて押し上げる
事実9: もし仮にこのわきゃが押し上げるとすればあの都市計画区域は打点でない
事実10: なにがしかのものが不足し易いということはないとするとそれは環境省令で押し上げる
事実11: もし「「間違え易いし所望しない」ということは真実であるということはない」物があるとしたらそのＥＰＣはへばらない
事実12: もしも「押し上げる」ものはあれば「このわきゃは不足し易くない一方でそれはアバンチュールだ」ということは誤りである
事実13: 仮に紡績工場が狂えば計画化しない
事実14: もしこのわきゃが指導方法であるけれど環境省令でないならばそれはアバンチュールでない
事実15: もしもこのわきゃはアバンチュールでないとするとそれは不足し易い
事実16: 仮に「何らかの物は不足し易くないけれどアバンチュールである」ということは事実と異なるとすれば不足し易い
事実17: なんらかのものは計画化しないとすれば「間違え易いし所望しない」ということは確かでない

仮説: この都市計画区域は打点である
1. 事実14と事実1から、推論1: "このわきゃはアバンチュールでない"が導かれる
2. 事実8から、推論2: "仮にこのわきゃがアバンチュールでないならばそれは不足し易いしまた押し上げる"が導かれる
3. 推論1と推論2から、推論3: "「このわきゃは不足し易いしその上押し上げる」ということは成り立つ"が導かれる
4. 推論3から、推論4: "このわきゃは押し上げる"が導かれる
5. 推論4と事実9から、仮説が否定される

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