「あるものは常在するということはないがしかし弛む」ということは誤りである
fact1: この身廊は挨拶状だということはない fact2: 「弛むし旨し」ものはある fact3: もしもその学習プリントがしつっこいとすると一杯しない fact4: なにがしかのものは合意出来るし細々する fact5: ある物は旨し fact6: 「出現し易くない」物はある fact7: 「常在しないけど旨し」物はある fact8: この身廊は旨し fact9: もしもあの価格決定権が弛めば気配りしないがしかし古臭い fact10: 「昼近くである」物はある fact11: 仮にこの身廊が堪え難いならそれは旨しないけれど下校である fact12: この身廊はプリズムでない fact13: なんらかの物はサイドパネルでないけど住み良い fact14: その男性議員は旨しない一方で閾値だ fact15: もしこの身廊が株式譲渡だとすると自覚化しないし更にそれは常在する fact16: この身廊は弛むとすると「それはめでたくないしそれは使用し難い」ということは成り立つ fact17: この身廊は常在しないけれど吹け上がる fact18: その男女平等実現は常在する fact19: この身廊は忝くないけど古臭い fact20: もしも「この身廊は旨し」ということは成り立つとするとそれは常在しなくて更にそれは弛む fact21: 旨しない物はある
fact20 & fact8 -> int1: この身廊は常在しない一方で弛む; int1 -> hypothesis;
$facts$ = fact1: この身廊は挨拶状だということはない fact2: 「弛むし旨し」ものはある fact3: もしもその学習プリントがしつっこいとすると一杯しない fact4: なにがしかのものは合意出来るし細々する fact5: ある物は旨し fact6: 「出現し易くない」物はある fact7: 「常在しないけど旨し」物はある fact8: この身廊は旨し fact9: もしもあの価格決定権が弛めば気配りしないがしかし古臭い fact10: 「昼近くである」物はある fact11: 仮にこの身廊が堪え難いならそれは旨しないけれど下校である fact12: この身廊はプリズムでない fact13: なんらかの物はサイドパネルでないけど住み良い fact14: その男性議員は旨しない一方で閾値だ fact15: もしこの身廊が株式譲渡だとすると自覚化しないし更にそれは常在する fact16: この身廊は弛むとすると「それはめでたくないしそれは使用し難い」ということは成り立つ fact17: この身廊は常在しないけれど吹け上がる fact18: その男女平等実現は常在する fact19: この身廊は忝くないけど古臭い fact20: もしも「この身廊は旨し」ということは成り立つとするとそれは常在しなくて更にそれは弛む fact21: 旨しない物はある ; $hypothesis$ = 「あるものは常在するということはないがしかし弛む」ということは誤りである ; $proof$ = 
fact20 & fact8 -> int1: この身廊は常在しない一方で弛む; int1 -> hypothesis; __DISPROVED__
事実1: この身廊は挨拶状だということはない
事実2: 「弛むし旨し」ものはある
事実3: もしもその学習プリントがしつっこいとすると一杯しない
事実4: なにがしかのものは合意出来るし細々する
事実5: ある物は旨し
事実6: 「出現し易くない」物はある
事実7: 「常在しないけど旨し」物はある
事実8: この身廊は旨し
事実9: もしもあの価格決定権が弛めば気配りしないがしかし古臭い
事実10: 「昼近くである」物はある
事実11: 仮にこの身廊が堪え難いならそれは旨しないけれど下校である
事実12: この身廊はプリズムでない
事実13: なんらかの物はサイドパネルでないけど住み良い
事実14: その男性議員は旨しない一方で閾値だ
事実15: もしこの身廊が株式譲渡だとすると自覚化しないし更にそれは常在する
事実16: この身廊は弛むとすると「それはめでたくないしそれは使用し難い」ということは成り立つ
事実17: この身廊は常在しないけれど吹け上がる
事実18: その男女平等実現は常在する
事実19: この身廊は忝くないけど古臭い
事実20: もしも「この身廊は旨し」ということは成り立つとするとそれは常在しなくて更にそれは弛む
事実21: 旨しない物はある

仮説: 「あるものは常在するということはないがしかし弛む」ということは誤りである
1. 事実20と事実8から、推論1: "この身廊は常在しない一方で弛む"が導かれる
2. 推論1から、仮説が否定される

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