「仮にこの乗用車がコンパイル出来ないしさらにそれが頓着しないならばその米国人は歪曲する」ということは成り立たない
fact1: もし仮に「この各オブジェクトは世知辛くない」ということは成り立つならその米国人は歪曲するし世知辛い fact2: もし仮に「何かはコンパイル出来ないしそれは頓着しない」ということは成り立つならばあの各オブジェクトは世知辛くない fact3: 仮にこの各オブジェクトがコンパイル出来るとすれば優秀性でなくてそれに芳しいということはない fact4: あるものは頓着するとすると「それはコンパイル出来る」ということは成り立つ fact5: 「コンパイル出来ない」物はある fact6: もしもその米国人が活発化しないならこの各オブジェクトは頓着するしおまけに世知辛い fact7: 仮に「歪曲しないしそれに世知辛くない」ものがあるとしたらその米国人は頓着しない
void -> assump1: 以下のように仮定する。この乗用車はコンパイル出来るということはないしまたそれは頓着するということはない; assump1 -> int1: なにかはコンパイル出来ないしおまけに頓着しない; int1 & fact2 -> int2: 「この各オブジェクトは世知辛くない」ということは正しい; int2 & fact1 -> int3: その米国人は歪曲するしかつ世知辛い; int3 -> int4: その米国人は歪曲する; [assump1] & int4 -> hypothesis;
「優秀性でなくて芳しくない」ものはある
fact8 -> int5: 仮にこの各オブジェクトが頓着するとするとコンパイル出来る;
$facts$ = fact1: もし仮に「この各オブジェクトは世知辛くない」ということは成り立つならその米国人は歪曲するし世知辛い fact2: もし仮に「何かはコンパイル出来ないしそれは頓着しない」ということは成り立つならばあの各オブジェクトは世知辛くない fact3: 仮にこの各オブジェクトがコンパイル出来るとすれば優秀性でなくてそれに芳しいということはない fact4: あるものは頓着するとすると「それはコンパイル出来る」ということは成り立つ fact5: 「コンパイル出来ない」物はある fact6: もしもその米国人が活発化しないならこの各オブジェクトは頓着するしおまけに世知辛い fact7: 仮に「歪曲しないしそれに世知辛くない」ものがあるとしたらその米国人は頓着しない ; $hypothesis$ = 「仮にこの乗用車がコンパイル出来ないしさらにそれが頓着しないならばその米国人は歪曲する」ということは成り立たない ; $proof$ = 
void -> assump1: 以下のように仮定する。この乗用車はコンパイル出来るということはないしまたそれは頓着するということはない; assump1 -> int1: なにかはコンパイル出来ないしおまけに頓着しない; int1 & fact2 -> int2: 「この各オブジェクトは世知辛くない」ということは正しい; int2 & fact1 -> int3: その米国人は歪曲するしかつ世知辛い; int3 -> int4: その米国人は歪曲する; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もし仮に「この各オブジェクトは世知辛くない」ということは成り立つならその米国人は歪曲するし世知辛い
事実2: もし仮に「何かはコンパイル出来ないしそれは頓着しない」ということは成り立つならばあの各オブジェクトは世知辛くない
事実3: 仮にこの各オブジェクトがコンパイル出来るとすれば優秀性でなくてそれに芳しいということはない
事実4: あるものは頓着するとすると「それはコンパイル出来る」ということは成り立つ
事実5: 「コンパイル出来ない」物はある
事実6: もしもその米国人が活発化しないならこの各オブジェクトは頓着するしおまけに世知辛い
事実7: 仮に「歪曲しないしそれに世知辛くない」ものがあるとしたらその米国人は頓着しない

仮説: 「仮にこの乗用車がコンパイル出来ないしさらにそれが頓着しないならばその米国人は歪曲する」ということは成り立たない
1. 仮定1: 以下のように仮定する。この乗用車はコンパイル出来るということはないしまたそれは頓着するということはない
2. 仮定1から、推論1: "なにかはコンパイル出来ないしおまけに頓着しない"が導かれる
3. 推論1と事実2から、推論2: "「この各オブジェクトは世知辛くない」ということは正しい"が導かれる
4. 推論2と事実1から、推論3: "その米国人は歪曲するしかつ世知辛い"が導かれる
5. 推論3から、推論4: "その米国人は歪曲する"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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