そのタバコ代は食べ過ぎない
fact1: そのタバコ代は伸し掛かる fact2: もしも「単従陣な」物はあるなら「あのファントム・メナスは出向元でないかもしくは取れないか両方だ」ということは偽だ fact3: そのタバコ代は出向元だ fact4: 「何かは伸し掛からないかもしくはそれは黄色っぽい」ということは間違いであるなら取れる fact5: 全てのものは飢えない fact6: そのタバコ代は出向元であるとすれば伸し掛かる fact7: 「なんらかのものは伸し掛かるかあるいは黄色っぽいか両方ともだ」ということは事実と異なるなら「それは取れる」ということは真実である fact8: そのタバコ代は出向元だとすると「それは伸し掛からないかもしくは黄色っぽいか両方だ」ということは偽だ fact9: もし仮になんらかの物が取れれば食べ過ぎる fact10: もし仮に「そのタバコ代は伸し掛かるかもしくは黄色っぽいかまたはどちらもである」ということは事実と異なるとすれば取れる
fact4 -> int1: 「もしも「そのタバコ代は伸し掛かるということはないかまたは黄色っぽいかもしくは両方だ」ということは正しくないならばそのタバコ代は取れる」ということは成り立つ; fact3 & fact8 -> int2: 「そのタバコ代は伸し掛からないかあるいは黄色っぽいかもしくはどちらもだ」ということは成り立たない; int1 & int2 -> int3: そのタバコ代は取れる; fact9 -> int4: 仮にそのタバコ代が取れるとすると食べ過ぎる; int3 & int4 -> hypothesis;
「そのタバコ代は食べ過ぎない」ということは成り立つ
fact12 -> int5: この保存療法は飢えない;
$facts$ = fact1: そのタバコ代は伸し掛かる fact2: もしも「単従陣な」物はあるなら「あのファントム・メナスは出向元でないかもしくは取れないか両方だ」ということは偽だ fact3: そのタバコ代は出向元だ fact4: 「何かは伸し掛からないかもしくはそれは黄色っぽい」ということは間違いであるなら取れる fact5: 全てのものは飢えない fact6: そのタバコ代は出向元であるとすれば伸し掛かる fact7: 「なんらかのものは伸し掛かるかあるいは黄色っぽいか両方ともだ」ということは事実と異なるなら「それは取れる」ということは真実である fact8: そのタバコ代は出向元だとすると「それは伸し掛からないかもしくは黄色っぽいか両方だ」ということは偽だ fact9: もし仮になんらかの物が取れれば食べ過ぎる fact10: もし仮に「そのタバコ代は伸し掛かるかもしくは黄色っぽいかまたはどちらもである」ということは事実と異なるとすれば取れる ; $hypothesis$ = そのタバコ代は食べ過ぎない ; $proof$ = 
fact4 -> int1: 「もしも「そのタバコ代は伸し掛かるということはないかまたは黄色っぽいかもしくは両方だ」ということは正しくないならばそのタバコ代は取れる」ということは成り立つ; fact3 & fact8 -> int2: 「そのタバコ代は伸し掛からないかあるいは黄色っぽいかもしくはどちらもだ」ということは成り立たない; int1 & int2 -> int3: そのタバコ代は取れる; fact9 -> int4: 仮にそのタバコ代が取れるとすると食べ過ぎる; int3 & int4 -> hypothesis; __DISPROVED__
事実1: そのタバコ代は伸し掛かる
事実2: もしも「単従陣な」物はあるなら「あのファントム・メナスは出向元でないかもしくは取れないか両方だ」ということは偽だ
事実3: そのタバコ代は出向元だ
事実4: 「何かは伸し掛からないかもしくはそれは黄色っぽい」ということは間違いであるなら取れる
事実5: 全てのものは飢えない
事実6: そのタバコ代は出向元であるとすれば伸し掛かる
事実7: 「なんらかのものは伸し掛かるかあるいは黄色っぽいか両方ともだ」ということは事実と異なるなら「それは取れる」ということは真実である
事実8: そのタバコ代は出向元だとすると「それは伸し掛からないかもしくは黄色っぽいか両方だ」ということは偽だ
事実9: もし仮になんらかの物が取れれば食べ過ぎる
事実10: もし仮に「そのタバコ代は伸し掛かるかもしくは黄色っぽいかまたはどちらもである」ということは事実と異なるとすれば取れる

仮説: そのタバコ代は食べ過ぎない
1. 事実4から、推論1: "「もしも「そのタバコ代は伸し掛かるということはないかまたは黄色っぽいかもしくは両方だ」ということは正しくないならばそのタバコ代は取れる」ということは成り立つ"が導かれる
2. 事実3と事実8から、推論2: "「そのタバコ代は伸し掛からないかあるいは黄色っぽいかもしくはどちらもだ」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "そのタバコ代は取れる"が導かれる
4. 事実9から、推論4: "仮にそのタバコ代が取れるとすると食べ過ぎる"が導かれる
5. 推論3と推論4から、仮説が否定される

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