「なにかは退くし野暮ったい」ということは事実と異なる
fact1: 「退く」物はある fact2: 仮に何かは退くということはないかそれが野暮ったいとしたら少年非行だ fact3: あの肺実質は決壊しない fact4: あの症状緩和は退くしかつ叩打する fact5: 仮に「あの肺実質が仮住まいしないしさらにそれは計画経済体制でない」ということは間違いだとすると仮住まいする fact6: もしなにがしかのものが補助するということはないなら退かないかもしくは野暮ったいかあるいは両方だ fact7: あの症状緩和は退く fact8: あの症状緩和は退くししかもそれは野暮ったい fact9: もしとあるものは決壊しないとすると「それは仮住まいしないし更にそれは計画経済体制でない」ということは成り立たない fact10: 「野暮ったい」物はある fact11: 仮に「何らかのものは上乗せしないがしかしそれは忌まわしい」ということは成り立たないならば補助しない fact12: あの症状緩和は干しがるしその上業務フローである
fact8 -> hypothesis;
「仮住まいするしその上少年非行な」ものはある
fact15 -> int1: 仮に「あの肺実質は決壊しない」ということは確かであるならば「仮住まいしないしまた計画経済体制でない」ということは偽だ; int1 & fact17 -> int2: 「あの肺実質は仮住まいしないしかつ計画経済体制でない」ということは間違っている; fact14 & int2 -> int3: あの肺実質は仮住まいする; fact16 -> int4: 仮にあの肺実質が退かないかまたは野暮ったいかどちらもだとしたら少年非行だ; fact18 -> int5: もし仮にあの肺実質が補助しないとすればそれは退かないかもしくは野暮ったい; fact13 -> int6: もしも「あの肺実質は上乗せするということはないけれど忌まわしい」ということは誤りならばそれは補助しない;
$facts$ = fact1: 「退く」物はある fact2: 仮に何かは退くということはないかそれが野暮ったいとしたら少年非行だ fact3: あの肺実質は決壊しない fact4: あの症状緩和は退くしかつ叩打する fact5: 仮に「あの肺実質が仮住まいしないしさらにそれは計画経済体制でない」ということは間違いだとすると仮住まいする fact6: もしなにがしかのものが補助するということはないなら退かないかもしくは野暮ったいかあるいは両方だ fact7: あの症状緩和は退く fact8: あの症状緩和は退くししかもそれは野暮ったい fact9: もしとあるものは決壊しないとすると「それは仮住まいしないし更にそれは計画経済体制でない」ということは成り立たない fact10: 「野暮ったい」物はある fact11: 仮に「何らかのものは上乗せしないがしかしそれは忌まわしい」ということは成り立たないならば補助しない fact12: あの症状緩和は干しがるしその上業務フローである ; $hypothesis$ = 「なにかは退くし野暮ったい」ということは事実と異なる ; $proof$ = 
fact8 -> hypothesis; __DISPROVED__
事実1: 「退く」物はある
事実2: 仮に何かは退くということはないかそれが野暮ったいとしたら少年非行だ
事実3: あの肺実質は決壊しない
事実4: あの症状緩和は退くしかつ叩打する
事実5: 仮に「あの肺実質が仮住まいしないしさらにそれは計画経済体制でない」ということは間違いだとすると仮住まいする
事実6: もしなにがしかのものが補助するということはないなら退かないかもしくは野暮ったいかあるいは両方だ
事実7: あの症状緩和は退く
事実8: あの症状緩和は退くししかもそれは野暮ったい
事実9: もしとあるものは決壊しないとすると「それは仮住まいしないし更にそれは計画経済体制でない」ということは成り立たない
事実10: 「野暮ったい」物はある
事実11: 仮に「何らかのものは上乗せしないがしかしそれは忌まわしい」ということは成り立たないならば補助しない
事実12: あの症状緩和は干しがるしその上業務フローである

仮説: 「なにかは退くし野暮ったい」ということは事実と異なる
1. 事実8から、仮説が否定される

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