この水疣は交え用いる
fact1: 「デートスポットな」ものはある fact2: もし仮にその銀食器が惨い一方で大足でないとすればこの水疣はしがない fact3: しがないかもしくは汚いかもしくは両方ともであるものは交え用いない fact4: 仮に「何らかの物は汚い」ということは事実であるとしたら交え用いない fact5: 仮にこの水疣が汚いなら交え用いない fact6: 「仮に「デートスポットでない」ものがあるとすればその銀食器ははち切れるし更にそれは惨い」ということは確かだ fact7: その銀食器ははち切れる fact8: 「この田原窪遺跡は福地隊でない一方でＦＮτである」ということは成り立たない fact9: 仮に「ＦＮτでない」物はあるとすれば「その銀食器は大足でない」ということは事実だ fact10: 仮に「「福地隊でないがしかしＦＮτだ」ということは成り立たない」物があるとするとその銀食器は大足だということはない fact11: 「福地隊でない一方でＦＮτな」物はある fact12: 「デートスポットでない」物はある
fact12 & fact6 -> int1: その銀食器ははち切れるしその上惨い; int1 -> int2: その銀食器は惨い; fact8 -> int3: 「「福地隊でないけれどＦＮτだ」ということは成り立たない」ものはある; fact10 & int3 -> int4: その銀食器は大足でない; int2 & int4 -> int5: その銀食器は惨い一方で大足でない; int5 & fact2 -> int6: 「この水疣はしがない」ということは成り立つ; int6 -> int7: この水疣はしがないかまたは汚いかまたは両方ともである; fact3 -> int8: 仮にこの水疣はしがないかもしくは汚いか両方なら交え用いるということはない; int7 & int8 -> hypothesis;
$facts$ = fact1: 「デートスポットな」ものはある fact2: もし仮にその銀食器が惨い一方で大足でないとすればこの水疣はしがない fact3: しがないかもしくは汚いかもしくは両方ともであるものは交え用いない fact4: 仮に「何らかの物は汚い」ということは事実であるとしたら交え用いない fact5: 仮にこの水疣が汚いなら交え用いない fact6: 「仮に「デートスポットでない」ものがあるとすればその銀食器ははち切れるし更にそれは惨い」ということは確かだ fact7: その銀食器ははち切れる fact8: 「この田原窪遺跡は福地隊でない一方でＦＮτである」ということは成り立たない fact9: 仮に「ＦＮτでない」物はあるとすれば「その銀食器は大足でない」ということは事実だ fact10: 仮に「「福地隊でないがしかしＦＮτだ」ということは成り立たない」物があるとするとその銀食器は大足だということはない fact11: 「福地隊でない一方でＦＮτな」物はある fact12: 「デートスポットでない」物はある ; $hypothesis$ = この水疣は交え用いる ; $proof$ = 
fact12 & fact6 -> int1: その銀食器ははち切れるしその上惨い; int1 -> int2: その銀食器は惨い; fact8 -> int3: 「「福地隊でないけれどＦＮτだ」ということは成り立たない」ものはある; fact10 & int3 -> int4: その銀食器は大足でない; int2 & int4 -> int5: その銀食器は惨い一方で大足でない; int5 & fact2 -> int6: 「この水疣はしがない」ということは成り立つ; int6 -> int7: この水疣はしがないかまたは汚いかまたは両方ともである; fact3 -> int8: 仮にこの水疣はしがないかもしくは汚いか両方なら交え用いるということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: 「デートスポットな」ものはある
事実2: もし仮にその銀食器が惨い一方で大足でないとすればこの水疣はしがない
事実3: しがないかもしくは汚いかもしくは両方ともであるものは交え用いない
事実4: 仮に「何らかの物は汚い」ということは事実であるとしたら交え用いない
事実5: 仮にこの水疣が汚いなら交え用いない
事実6: 「仮に「デートスポットでない」ものがあるとすればその銀食器ははち切れるし更にそれは惨い」ということは確かだ
事実7: その銀食器ははち切れる
事実8: 「この田原窪遺跡は福地隊でない一方でＦＮτである」ということは成り立たない
事実9: 仮に「ＦＮτでない」物はあるとすれば「その銀食器は大足でない」ということは事実だ
事実10: 仮に「「福地隊でないがしかしＦＮτだ」ということは成り立たない」物があるとするとその銀食器は大足だということはない
事実11: 「福地隊でない一方でＦＮτな」物はある
事実12: 「デートスポットでない」物はある

仮説: この水疣は交え用いる
1. 事実12と事実6から、推論1: "その銀食器ははち切れるしその上惨い"が導かれる
2. 推論1から、推論2: "その銀食器は惨い"が導かれる
3. 事実8から、推論3: "「「福地隊でないけれどＦＮτだ」ということは成り立たない」ものはある"が導かれる
4. 事実10と推論3から、推論4: "その銀食器は大足でない"が導かれる
5. 推論2と推論4から、推論5: "その銀食器は惨い一方で大足でない"が導かれる
6. 推論5と事実2から、推論6: "「この水疣はしがない」ということは成り立つ"が導かれる
7. 推論6から、推論7: "この水疣はしがないかまたは汚いかまたは両方ともである"が導かれる
8. 事実3から、推論8: "仮にこの水疣はしがないかもしくは汚いか両方なら交え用いるということはない"が導かれる
9. 推論7と推論8から、仮説が否定される

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