「「もしも燥ぎ回るということはないか砕け易いかまたは両方ともだとすれば「新社でない」ということは成り立つ」ものはある」ということは真実でない
fact1: 「もしも燥ぎ回るということはないかもしくは砕け易いかあるいは両方ともだとすると新社である」ものはある fact2: 「もしも燥ぎ回るかまたは砕け易いかあるいは両方であるとしたら「新社でない」ということは成り立つ」ものはある fact3: 仮に「何かは燥ぎ回るということはないか砕け易いかもしくは両方だ」ということは成り立つなら新社だ fact4: 「もし仮に燥ぎ回らないなら新社でない」物はある fact5: あの内供は暑いかまたは広がり易いとしたら地方分権改革でない fact6: 仮にある物は燥ぎ回らないかまたは砕け易いかどちらもだとしたらそれは新社でない fact7: 仮にあの内供は燥ぎ回らないか砕け易いかもしくはどちらもならば新社だ fact8: 仮になんらかのものがフェラチオしないか各線であるとしたらそれは漢字語でない fact9: 仮にあの内供が砕け易いとしたら新社でない
fact6 -> int1: もしあの内供が燥ぎ回らないかもしくはそれは砕け易いかあるいはどちらもだとしたら新社でない; int1 -> hypothesis;
$facts$ = fact1: 「もしも燥ぎ回るということはないかもしくは砕け易いかあるいは両方ともだとすると新社である」ものはある fact2: 「もしも燥ぎ回るかまたは砕け易いかあるいは両方であるとしたら「新社でない」ということは成り立つ」ものはある fact3: 仮に「何かは燥ぎ回るということはないか砕け易いかもしくは両方だ」ということは成り立つなら新社だ fact4: 「もし仮に燥ぎ回らないなら新社でない」物はある fact5: あの内供は暑いかまたは広がり易いとしたら地方分権改革でない fact6: 仮にある物は燥ぎ回らないかまたは砕け易いかどちらもだとしたらそれは新社でない fact7: 仮にあの内供は燥ぎ回らないか砕け易いかもしくはどちらもならば新社だ fact8: 仮になんらかのものがフェラチオしないか各線であるとしたらそれは漢字語でない fact9: 仮にあの内供が砕け易いとしたら新社でない ; $hypothesis$ = 「「もしも燥ぎ回るということはないか砕け易いかまたは両方ともだとすれば「新社でない」ということは成り立つ」ものはある」ということは真実でない ; $proof$ = 
fact6 -> int1: もしあの内供が燥ぎ回らないかもしくはそれは砕け易いかあるいはどちらもだとしたら新社でない; int1 -> hypothesis; __DISPROVED__
事実1: 「もしも燥ぎ回るということはないかもしくは砕け易いかあるいは両方ともだとすると新社である」ものはある
事実2: 「もしも燥ぎ回るかまたは砕け易いかあるいは両方であるとしたら「新社でない」ということは成り立つ」ものはある
事実3: 仮に「何かは燥ぎ回るということはないか砕け易いかもしくは両方だ」ということは成り立つなら新社だ
事実4: 「もし仮に燥ぎ回らないなら新社でない」物はある
事実5: あの内供は暑いかまたは広がり易いとしたら地方分権改革でない
事実6: 仮にある物は燥ぎ回らないかまたは砕け易いかどちらもだとしたらそれは新社でない
事実7: 仮にあの内供は燥ぎ回らないか砕け易いかもしくはどちらもならば新社だ
事実8: 仮になんらかのものがフェラチオしないか各線であるとしたらそれは漢字語でない
事実9: 仮にあの内供が砕け易いとしたら新社でない

仮説: 「「もしも燥ぎ回るということはないか砕け易いかまたは両方ともだとすれば「新社でない」ということは成り立つ」ものはある」ということは真実でない
1. 事実6から、推論1: "もしあの内供が燥ぎ回らないかもしくはそれは砕け易いかあるいはどちらもだとしたら新社でない"が導かれる
2. 推論1から、仮説が否定される

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