「あの分析上は吹き易くないし更に芸術監督であるということはない」ということは確かでない
fact1: もし「その酸化物は四角くない」ということは成り立つとしたらあの分析上は吹き易いということはないし芸術監督でない fact2: その遣り直しはロケーションだ fact3: 「多いしかつロケーションな」物があるとすればあの歩行は手厚い fact4: その酸化物はロケーションだ fact5: その遣り直しは多い fact6: なんらかのものは多い fact7: 仮にこの歩行が手厚いとすればその酸化物は手厚くなくてしかも四角くない fact8: あの分析上は吹き易くない fact9: もしその酸化物が四角くないならあの分析上は吹き易くない fact10: あの分析上は手厚くない fact11: 「この歩行は手厚い」ということは事実であるとすればその酸化物は手厚くない fact12: もし仮にその遣り直しがロケーションでないならばあの分析上が手厚くないしさらにそれは吹き易くない fact13: 「四角い」ものはある fact14: その酸化物は手厚くない
fact5 & fact2 -> int1: その遣り直しは多いしそれにロケーションである; int1 -> int2: 「多くてロケーションな」ものはある; int2 & fact3 -> int3: この歩行は手厚い; int3 & fact7 -> int4: その酸化物は手厚くなくてかつ四角くない; int4 -> int5: その酸化物は四角くない; int5 & fact1 -> hypothesis;
$facts$ = fact1: もし「その酸化物は四角くない」ということは成り立つとしたらあの分析上は吹き易いということはないし芸術監督でない fact2: その遣り直しはロケーションだ fact3: 「多いしかつロケーションな」物があるとすればあの歩行は手厚い fact4: その酸化物はロケーションだ fact5: その遣り直しは多い fact6: なんらかのものは多い fact7: 仮にこの歩行が手厚いとすればその酸化物は手厚くなくてしかも四角くない fact8: あの分析上は吹き易くない fact9: もしその酸化物が四角くないならあの分析上は吹き易くない fact10: あの分析上は手厚くない fact11: 「この歩行は手厚い」ということは事実であるとすればその酸化物は手厚くない fact12: もし仮にその遣り直しがロケーションでないならばあの分析上が手厚くないしさらにそれは吹き易くない fact13: 「四角い」ものはある fact14: その酸化物は手厚くない ; $hypothesis$ = 「あの分析上は吹き易くないし更に芸術監督であるということはない」ということは確かでない ; $proof$ = 
fact5 & fact2 -> int1: その遣り直しは多いしそれにロケーションである; int1 -> int2: 「多くてロケーションな」ものはある; int2 & fact3 -> int3: この歩行は手厚い; int3 & fact7 -> int4: その酸化物は手厚くなくてかつ四角くない; int4 -> int5: その酸化物は四角くない; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「その酸化物は四角くない」ということは成り立つとしたらあの分析上は吹き易いということはないし芸術監督でない
事実2: その遣り直しはロケーションだ
事実3: 「多いしかつロケーションな」物があるとすればあの歩行は手厚い
事実4: その酸化物はロケーションだ
事実5: その遣り直しは多い
事実6: なんらかのものは多い
事実7: 仮にこの歩行が手厚いとすればその酸化物は手厚くなくてしかも四角くない
事実8: あの分析上は吹き易くない
事実9: もしその酸化物が四角くないならあの分析上は吹き易くない
事実10: あの分析上は手厚くない
事実11: 「この歩行は手厚い」ということは事実であるとすればその酸化物は手厚くない
事実12: もし仮にその遣り直しがロケーションでないならばあの分析上が手厚くないしさらにそれは吹き易くない
事実13: 「四角い」ものはある
事実14: その酸化物は手厚くない

仮説: 「あの分析上は吹き易くないし更に芸術監督であるということはない」ということは確かでない
1. 事実5と事実2から、推論1: "その遣り直しは多いしそれにロケーションである"が導かれる
2. 推論1から、推論2: "「多くてロケーションな」ものはある"が導かれる
3. 推論2と事実3から、推論3: "この歩行は手厚い"が導かれる
4. 推論3と事実7から、推論4: "その酸化物は手厚くなくてかつ四角くない"が導かれる
5. 推論4から、推論5: "その酸化物は四角くない"が導かれる
6. 推論5と事実1から、仮説が否定される

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