「そのタウンミーティングは旨くてさらに中取りする」ということは成り立たない
fact1: もし仮になにかは振り向けるとすればそれは私らしくないかあるいは他覚的検査でないかまたはどちらもだ fact2: 仮にそのタウンミーティングが一万円札だとしたらその被抑圧民族は旨い fact3: もしも何かは訂正すとしたら「狂おしくないし誘発し易い」ということは偽である fact4: もしも「なんらかの物は狂おしくない一方で誘発し易い」ということは成り立たないとすればそれは誘発し易くない fact5: 仮にとある物は一万円札でないとしたら「旨いしそれは中取りする」ということは間違いである fact6: もし仮にその被抑圧民族が一万円札であるならそのタウンミーティングは旨い fact7: 「その被抑圧民族は一万円札だ」ということは真実だ fact8: 「そのタウンミーティングは嘘っぽくないがそれは中取りする」ということは嘘だ fact9: その被抑圧民族が旨いとすればこの夕食時は旨い fact10: 何かは如実だとすれば訂正す fact11: 「そのタウンミーティングは嘘っぽくないし中取りしない」ということは事実と異なる fact12: もしその会釈が中取りしないとすればそのタウンミーティングは一万円札であるかそれは旨い fact13: もし何らかの物が生白いとすれば振り向ける fact14: もしもこの巨大都市圏は急転回すれば「振り向ける」ということは成り立つ fact15: もしもこの巨大都市圏が私らしくないかもしくはそれが他覚的検査でないならこのコンバーチブルは他覚的検査である fact16: もしもとあるものは誘発し易くないとすると「違い過ぎないし嘘っぽくない」ということは成り立たない fact17: もしなにがしかのものは他覚的検査であるならそれは如実だ fact18: この巨大都市圏は生白いか急転回するかまたは両方ともだ fact19: 仮に「その被抑圧民族は一万円札でなくて旨いということはない」ということは偽であるなら「旨い」ということは事実である fact20: 仮に「このコンバーチブルは違い過ぎないし嘘っぽくない」ということは成り立たないとしたら「その会釈は中取りしない」ということは成り立つ fact21: 「そのタウンミーティングは嘘っぽくないしさらに中取りしない」ということは誤っているとしたら中取りする
fact6 & fact7 -> int1: そのタウンミーティングは旨い; fact21 & fact11 -> int2: 「そのタウンミーティングは中取りする」ということは確かである; int1 & int2 -> hypothesis;
fact6 & fact7 -> int1: {B}{b}; fact21 & fact11 -> int2: {C}{b}; int1 & int2 -> hypothesis;
この夕食時は旨い
fact34 -> int3: もしこのコンバーチブルは誘発し易くないなら「違い過ぎないしそれにそれは嘘っぽくない」ということは間違いだ; fact23 -> int4: もし仮に「このコンバーチブルは狂おしくないが誘発し易い」ということは間違っているとすると誘発し易くない; fact26 -> int5: もしこのコンバーチブルは訂正すとしたら「それは狂おしくないしそれにそれは誘発し易い」ということは事実と異なる; fact35 -> int6: もしこのコンバーチブルは如実であるとすると「訂正す」ということは真実である; fact33 -> int7: もし仮にこのコンバーチブルは他覚的検査であるとすれば如実だ; fact25 -> int8: もしも「この巨大都市圏は振り向ける」ということは成り立つとするとそれは私らしくないかあるいは他覚的検査でないかあるいは両方ともだ; fact28 -> int9: 「もしもこの巨大都市圏が生白いとしたらこの巨大都市圏は振り向ける」ということは確かである; fact22 & int9 & fact29 -> int10: この巨大都市圏は振り向ける; int8 & int10 -> int11: この巨大都市圏は私らしいということはないかまたは他覚的検査でないかあるいは両方である; fact31 & int11 -> int12: このコンバーチブルは他覚的検査だ; int7 & int12 -> int13: このコンバーチブルは如実である; int6 & int13 -> int14: このコンバーチブルは訂正す; int5 & int14 -> int15: 「このコンバーチブルは狂おしくないがしかし誘発し易い」ということは成り立たない; int4 & int15 -> int16: このコンバーチブルは誘発し易くない; int3 & int16 -> int17: 「このコンバーチブルは違い過ぎないしかつそれは嘘っぽくない」ということは偽である; fact24 & int17 -> int18: その会釈は中取りしない; fact30 & int18 -> int19: そのタウンミーティングは一万円札であるかもしくはそれは旨い;
$facts$ = fact1: もし仮になにかは振り向けるとすればそれは私らしくないかあるいは他覚的検査でないかまたはどちらもだ fact2: 仮にそのタウンミーティングが一万円札だとしたらその被抑圧民族は旨い fact3: もしも何かは訂正すとしたら「狂おしくないし誘発し易い」ということは偽である fact4: もしも「なんらかの物は狂おしくない一方で誘発し易い」ということは成り立たないとすればそれは誘発し易くない fact5: 仮にとある物は一万円札でないとしたら「旨いしそれは中取りする」ということは間違いである fact6: もし仮にその被抑圧民族が一万円札であるならそのタウンミーティングは旨い fact7: 「その被抑圧民族は一万円札だ」ということは真実だ fact8: 「そのタウンミーティングは嘘っぽくないがそれは中取りする」ということは嘘だ fact9: その被抑圧民族が旨いとすればこの夕食時は旨い fact10: 何かは如実だとすれば訂正す fact11: 「そのタウンミーティングは嘘っぽくないし中取りしない」ということは事実と異なる fact12: もしその会釈が中取りしないとすればそのタウンミーティングは一万円札であるかそれは旨い fact13: もし何らかの物が生白いとすれば振り向ける fact14: もしもこの巨大都市圏は急転回すれば「振り向ける」ということは成り立つ fact15: もしもこの巨大都市圏が私らしくないかもしくはそれが他覚的検査でないならこのコンバーチブルは他覚的検査である fact16: もしもとあるものは誘発し易くないとすると「違い過ぎないし嘘っぽくない」ということは成り立たない fact17: もしなにがしかのものは他覚的検査であるならそれは如実だ fact18: この巨大都市圏は生白いか急転回するかまたは両方ともだ fact19: 仮に「その被抑圧民族は一万円札でなくて旨いということはない」ということは偽であるなら「旨い」ということは事実である fact20: 仮に「このコンバーチブルは違い過ぎないし嘘っぽくない」ということは成り立たないとしたら「その会釈は中取りしない」ということは成り立つ fact21: 「そのタウンミーティングは嘘っぽくないしさらに中取りしない」ということは誤っているとしたら中取りする ; $hypothesis$ = 「そのタウンミーティングは旨くてさらに中取りする」ということは成り立たない ; $proof$ = 
fact6 & fact7 -> int1: そのタウンミーティングは旨い; fact21 & fact11 -> int2: 「そのタウンミーティングは中取りする」ということは確かである; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮になにかは振り向けるとすればそれは私らしくないかあるいは他覚的検査でないかまたはどちらもだ
事実2: 仮にそのタウンミーティングが一万円札だとしたらその被抑圧民族は旨い
事実3: もしも何かは訂正すとしたら「狂おしくないし誘発し易い」ということは偽である
事実4: もしも「なんらかの物は狂おしくない一方で誘発し易い」ということは成り立たないとすればそれは誘発し易くない
事実5: 仮にとある物は一万円札でないとしたら「旨いしそれは中取りする」ということは間違いである
事実6: もし仮にその被抑圧民族が一万円札であるならそのタウンミーティングは旨い
事実7: 「その被抑圧民族は一万円札だ」ということは真実だ
事実8: 「そのタウンミーティングは嘘っぽくないがそれは中取りする」ということは嘘だ
事実9: その被抑圧民族が旨いとすればこの夕食時は旨い
事実10: 何かは如実だとすれば訂正す
事実11: 「そのタウンミーティングは嘘っぽくないし中取りしない」ということは事実と異なる
事実12: もしその会釈が中取りしないとすればそのタウンミーティングは一万円札であるかそれは旨い
事実13: もし何らかの物が生白いとすれば振り向ける
事実14: もしもこの巨大都市圏は急転回すれば「振り向ける」ということは成り立つ
事実15: もしもこの巨大都市圏が私らしくないかもしくはそれが他覚的検査でないならこのコンバーチブルは他覚的検査である
事実16: もしもとあるものは誘発し易くないとすると「違い過ぎないし嘘っぽくない」ということは成り立たない
事実17: もしなにがしかのものは他覚的検査であるならそれは如実だ
事実18: この巨大都市圏は生白いか急転回するかまたは両方ともだ
事実19: 仮に「その被抑圧民族は一万円札でなくて旨いということはない」ということは偽であるなら「旨い」ということは事実である
事実20: 仮に「このコンバーチブルは違い過ぎないし嘘っぽくない」ということは成り立たないとしたら「その会釈は中取りしない」ということは成り立つ
事実21: 「そのタウンミーティングは嘘っぽくないしさらに中取りしない」ということは誤っているとしたら中取りする

仮説: 「そのタウンミーティングは旨くてさらに中取りする」ということは成り立たない
1. 事実6と事実7から、推論1: "そのタウンミーティングは旨い"が導かれる
2. 事実21と事実11から、推論2: "「そのタウンミーティングは中取りする」ということは確かである"が導かれる
3. 推論1と推論2から、仮説が否定される

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