「あの米国製は涙ぐましくない」ということは成り立つ
fact1: あの組合はまだるっこしいということはない fact2: あの米国製は身体的虐待であるけれどそれは違わない fact3: もしその天皇霊が納得し難くないならばあのリアクションは欲深くなくておまけにフリーペーパーだということはない fact4: もし仮に「掛け捨てな」物はあるとしたら「その天皇霊は掛け捨てでないけれど納得し難い」ということは成り立たない fact5: あの米国製は違うということはない fact6: もし仮にこのリアクションが催告すればその火無しは違う fact7: もし仮にあの米国製は身体的虐待であるけれど違わないならそれは仲間らしくない fact8: もしも「ある物は掛け捨てでないけれど納得し難い」ということは確かだということはないとすると納得し難くない fact9: もしもその火無しは違うとしたら「この蝶類は身体的虐待でない一方で仲間らしい」ということは誤りだ fact10: 「もしもなにかは欲深くなくてフリーペーパーでないとすれば催告する」ということは成り立つ fact11: あの単独世帯は違う fact12: もしあの組合がまだるっこしくないとすれば掛け捨てであるしおまけにしょっぱい fact13: もしあの米国製は身体的虐待でかつ違うなら仲間らしいということはない fact14: もしも「なにかは仲間らしくない」ということは成り立つとすればそれは涙ぐましい
fact14 -> int1: 仮にあの米国製が仲間らしくないならそれは涙ぐましい; fact7 & fact2 -> int2: あの米国製は仲間らしくない; int1 & int2 -> hypothesis;
「この蝶類は涙ぐましくない」ということは成り立つ
fact22 -> int3: もしこのリアクションが欲深いということはないしそれにそれがフリーペーパーだということはないならそれは催告する; fact15 -> int4: 「その天皇霊は掛け捨てだということはないけど納得し難い」ということは本当でないとするとそれは納得し難くない; fact20 & fact16 -> int5: あの組合は掛け捨てであるし更にそれはしょっぱい; int5 -> int6: あの組合は掛け捨てである; int6 -> int7: 何らかのものは掛け捨てである; int7 & fact19 -> int8: 「その天皇霊は掛け捨てでないが納得し難い」ということは成り立たない; int4 & int8 -> int9: その天皇霊は納得し難いということはない; fact21 & int9 -> int10: このリアクションは欲深くないしさらにフリーペーパーでない; int3 & int10 -> int11: このリアクションは催告する; fact18 & int11 -> int12: その火無しは違う; fact17 & int12 -> int13: 「この蝶類は身体的虐待でないけどそれは仲間らしい」ということは事実でない;
$facts$ = fact1: あの組合はまだるっこしいということはない fact2: あの米国製は身体的虐待であるけれどそれは違わない fact3: もしその天皇霊が納得し難くないならばあのリアクションは欲深くなくておまけにフリーペーパーだということはない fact4: もし仮に「掛け捨てな」物はあるとしたら「その天皇霊は掛け捨てでないけれど納得し難い」ということは成り立たない fact5: あの米国製は違うということはない fact6: もし仮にこのリアクションが催告すればその火無しは違う fact7: もし仮にあの米国製は身体的虐待であるけれど違わないならそれは仲間らしくない fact8: もしも「ある物は掛け捨てでないけれど納得し難い」ということは確かだということはないとすると納得し難くない fact9: もしもその火無しは違うとしたら「この蝶類は身体的虐待でない一方で仲間らしい」ということは誤りだ fact10: 「もしもなにかは欲深くなくてフリーペーパーでないとすれば催告する」ということは成り立つ fact11: あの単独世帯は違う fact12: もしあの組合がまだるっこしくないとすれば掛け捨てであるしおまけにしょっぱい fact13: もしあの米国製は身体的虐待でかつ違うなら仲間らしいということはない fact14: もしも「なにかは仲間らしくない」ということは成り立つとすればそれは涙ぐましい ; $hypothesis$ = 「あの米国製は涙ぐましくない」ということは成り立つ ; $proof$ = 
fact14 -> int1: 仮にあの米国製が仲間らしくないならそれは涙ぐましい; fact7 & fact2 -> int2: あの米国製は仲間らしくない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: あの組合はまだるっこしいということはない
事実2: あの米国製は身体的虐待であるけれどそれは違わない
事実3: もしその天皇霊が納得し難くないならばあのリアクションは欲深くなくておまけにフリーペーパーだということはない
事実4: もし仮に「掛け捨てな」物はあるとしたら「その天皇霊は掛け捨てでないけれど納得し難い」ということは成り立たない
事実5: あの米国製は違うということはない
事実6: もし仮にこのリアクションが催告すればその火無しは違う
事実7: もし仮にあの米国製は身体的虐待であるけれど違わないならそれは仲間らしくない
事実8: もしも「ある物は掛け捨てでないけれど納得し難い」ということは確かだということはないとすると納得し難くない
事実9: もしもその火無しは違うとしたら「この蝶類は身体的虐待でない一方で仲間らしい」ということは誤りだ
事実10: 「もしもなにかは欲深くなくてフリーペーパーでないとすれば催告する」ということは成り立つ
事実11: あの単独世帯は違う
事実12: もしあの組合がまだるっこしくないとすれば掛け捨てであるしおまけにしょっぱい
事実13: もしあの米国製は身体的虐待でかつ違うなら仲間らしいということはない
事実14: もしも「なにかは仲間らしくない」ということは成り立つとすればそれは涙ぐましい

仮説: 「あの米国製は涙ぐましくない」ということは成り立つ
1. 事実14から、推論1: "仮にあの米国製が仲間らしくないならそれは涙ぐましい"が導かれる
2. 事実7と事実2から、推論2: "あの米国製は仲間らしくない"が導かれる
3. 推論1と推論2から、仮説が否定される

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