「そのフォーク材質は鎖陰であるしその上直り難い」ということは成り立たない
fact1: ある物は鎖陰でないとすると住み良い一方で合意解除しない fact2: 「あのヘビは住み良いかあるいは合意解除するかもしくは両方ともだ」ということは真実である fact3: あのバターソースは住み良い fact4: もしもこの製造事業者は勤勉でないならば「それは直り難くないしそれは生き物全てでない」ということは誤っている fact5: 「あの老年者控除は見易いけど求償しない」ということは偽だ fact6: あのヘビは住み良くないならば「そのフォーク材質は鎖陰であるしその上直り難い」ということは成り立たない fact7: もしもあのヘビが合意解除するならそのフォーク材質は鎖陰である fact8: もしもなにかは用手的換気であるということはないとすると勤勉であるしさらに雇い入れる fact9: 仮にとあるものは住み良くないかもしくは合意解除するかまたは両方ともであるとしたらそれは住み良くない fact10: 「あの老年者控除は見易いけれど求償しない」ということは成り立たないならそれは用手的換気でない fact11: なにかは生き物全てでない fact12: 生き物全てはある fact13: 「鎖陰である」物はある fact14: もしもあのヘビが直り難いとするとそのフォーク材質は合意解除する fact15: もしも「「勤勉である」ということは事実な」物があるならこの有彩色は生き物全てだ fact16: あのヘビが住み良いとしたらそのフォーク材質は鎖陰だ fact17: 仮に「「生き物全てでない」ということは確かである」ものがあるとしたらそのフォーク材質は直り難い
fact2 & fact16 & fact7 -> int1: そのフォーク材質は鎖陰だ; fact11 & fact17 -> int2: そのフォーク材質は直り難い; int1 & int2 -> hypothesis;
「そのフォーク材質は鎖陰でその上直り難い」ということは間違いである
fact18 -> int3: もしあのヘビは住み良くないかまたは合意解除するかあるいは両方であるとしたらそれは住み良くない; fact19 -> int4: もしあの老年者控除が用手的換気でないならばそれが勤勉だしそれは雇い入れる; fact21 & fact23 -> int5: あの老年者控除は用手的換気でない; int4 & int5 -> int6: あの老年者控除は勤勉で雇い入れる; int6 -> int7: 「あの老年者控除は勤勉である」ということは確かだ; int7 -> int8: なにかは勤勉である; int8 & fact20 -> int9: この有彩色は生き物全てである; int9 -> int10: 何かは生き物全てである;
$facts$ = fact1: ある物は鎖陰でないとすると住み良い一方で合意解除しない fact2: 「あのヘビは住み良いかあるいは合意解除するかもしくは両方ともだ」ということは真実である fact3: あのバターソースは住み良い fact4: もしもこの製造事業者は勤勉でないならば「それは直り難くないしそれは生き物全てでない」ということは誤っている fact5: 「あの老年者控除は見易いけど求償しない」ということは偽だ fact6: あのヘビは住み良くないならば「そのフォーク材質は鎖陰であるしその上直り難い」ということは成り立たない fact7: もしもあのヘビが合意解除するならそのフォーク材質は鎖陰である fact8: もしもなにかは用手的換気であるということはないとすると勤勉であるしさらに雇い入れる fact9: 仮にとあるものは住み良くないかもしくは合意解除するかまたは両方ともであるとしたらそれは住み良くない fact10: 「あの老年者控除は見易いけれど求償しない」ということは成り立たないならそれは用手的換気でない fact11: なにかは生き物全てでない fact12: 生き物全てはある fact13: 「鎖陰である」物はある fact14: もしもあのヘビが直り難いとするとそのフォーク材質は合意解除する fact15: もしも「「勤勉である」ということは事実な」物があるならこの有彩色は生き物全てだ fact16: あのヘビが住み良いとしたらそのフォーク材質は鎖陰だ fact17: 仮に「「生き物全てでない」ということは確かである」ものがあるとしたらそのフォーク材質は直り難い ; $hypothesis$ = 「そのフォーク材質は鎖陰であるしその上直り難い」ということは成り立たない ; $proof$ = 
fact2 & fact16 & fact7 -> int1: そのフォーク材質は鎖陰だ; fact11 & fact17 -> int2: そのフォーク材質は直り難い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: ある物は鎖陰でないとすると住み良い一方で合意解除しない
事実2: 「あのヘビは住み良いかあるいは合意解除するかもしくは両方ともだ」ということは真実である
事実3: あのバターソースは住み良い
事実4: もしもこの製造事業者は勤勉でないならば「それは直り難くないしそれは生き物全てでない」ということは誤っている
事実5: 「あの老年者控除は見易いけど求償しない」ということは偽だ
事実6: あのヘビは住み良くないならば「そのフォーク材質は鎖陰であるしその上直り難い」ということは成り立たない
事実7: もしもあのヘビが合意解除するならそのフォーク材質は鎖陰である
事実8: もしもなにかは用手的換気であるということはないとすると勤勉であるしさらに雇い入れる
事実9: 仮にとあるものは住み良くないかもしくは合意解除するかまたは両方ともであるとしたらそれは住み良くない
事実10: 「あの老年者控除は見易いけれど求償しない」ということは成り立たないならそれは用手的換気でない
事実11: なにかは生き物全てでない
事実12: 生き物全てはある
事実13: 「鎖陰である」物はある
事実14: もしもあのヘビが直り難いとするとそのフォーク材質は合意解除する
事実15: もしも「「勤勉である」ということは事実な」物があるならこの有彩色は生き物全てだ
事実16: あのヘビが住み良いとしたらそのフォーク材質は鎖陰だ
事実17: 仮に「「生き物全てでない」ということは確かである」ものがあるとしたらそのフォーク材質は直り難い

仮説: 「そのフォーク材質は鎖陰であるしその上直り難い」ということは成り立たない
1. 事実2と事実16と事実7から、推論1: "そのフォーク材質は鎖陰だ"が導かれる
2. 事実11と事実17から、推論2: "そのフォーク材質は直り難い"が導かれる
3. 推論1と推論2から、仮説が否定される

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