この空閑地はアイロンでない
fact1: もし仮にこの空閑地が暗しし気難しいとしたらあの導管は暗しない fact2: 仮になにがしかの物は航空写真であるとすれば「それはアイロンでなくてその上観覧しない」ということは間違いである fact3: あの版形はアイロンである fact4: 「暗しないものは崇高であるかあるいは小暗くないかまたは両方ともである」ということは確かだ fact5: 「なにがしかの物はアイロンであるということはなくておまけに観覧するということはない」ということは間違いだとしたら「それはアイロンだ」ということは成り立つ fact6: もし仮に何らかの物が崇高であるかあるいは小暗くないとすれば航空写真だ fact7: この空閑地はアイロンである fact8: 仮に何らかの物は小暗くないとしたら「航空写真でないし観覧する」ということは間違っている
fact7 -> hypothesis;
fact7 -> hypothesis;
あの導管はアイロンだ
fact13 -> int1: もしも「あの導管はアイロンでなくて更に観覧しない」ということは成り立たないならばそれはアイロンだ; fact10 -> int2: もしあの導管は航空写真ならば「それはアイロンでなくてそれは観覧しない」ということは成り立たない; fact9 -> int3: もしもあの導管は崇高であるかもしくは小暗くないか両方だとするとそれは航空写真である; fact12 -> int4: もしあの導管が暗しないならそれは崇高であるかあるいは小暗くない;
$facts$ = fact1: もし仮にこの空閑地が暗しし気難しいとしたらあの導管は暗しない fact2: 仮になにがしかの物は航空写真であるとすれば「それはアイロンでなくてその上観覧しない」ということは間違いである fact3: あの版形はアイロンである fact4: 「暗しないものは崇高であるかあるいは小暗くないかまたは両方ともである」ということは確かだ fact5: 「なにがしかの物はアイロンであるということはなくておまけに観覧するということはない」ということは間違いだとしたら「それはアイロンだ」ということは成り立つ fact6: もし仮に何らかの物が崇高であるかあるいは小暗くないとすれば航空写真だ fact7: この空閑地はアイロンである fact8: 仮に何らかの物は小暗くないとしたら「航空写真でないし観覧する」ということは間違っている ; $hypothesis$ = この空閑地はアイロンでない ; $proof$ = 
fact7 -> hypothesis; __DISPROVED__
事実1: もし仮にこの空閑地が暗しし気難しいとしたらあの導管は暗しない
事実2: 仮になにがしかの物は航空写真であるとすれば「それはアイロンでなくてその上観覧しない」ということは間違いである
事実3: あの版形はアイロンである
事実4: 「暗しないものは崇高であるかあるいは小暗くないかまたは両方ともである」ということは確かだ
事実5: 「なにがしかの物はアイロンであるということはなくておまけに観覧するということはない」ということは間違いだとしたら「それはアイロンだ」ということは成り立つ
事実6: もし仮に何らかの物が崇高であるかあるいは小暗くないとすれば航空写真だ
事実7: この空閑地はアイロンである
事実8: 仮に何らかの物は小暗くないとしたら「航空写真でないし観覧する」ということは間違っている

仮説: この空閑地はアイロンでない
1. 事実7から、仮説が否定される

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