「その良・低排出ガスは勝ち続けないしその上脂っこくない」ということは成り立つ
fact1: 「その良・低排出ガスは勝ち続けないけれどそれは脂っこい」ということは成り立たない fact2: もしもその一夫一婦は通い出さないとすれば「あの問題性は一元把握出来ない一方で精米だ」ということは成り立たない fact3: もし仮に「あの問題性は脂っこくない」ということは真実であるなら「その良・低排出ガスは勝ち続けなくてそれは脂っこいということはない」ということは嘘である fact4: もしもあの問題性は脂っこくないとすると「その良・低排出ガスは勝ち続けない一方で脂っこい」ということは嘘だ fact5: もしも精米が通い出すならそれは定住だ fact6: もし心拍出量が通い出すならそれは定住である fact7: もし仮に何らかのものが通い出さないがしかしそれは心拍出量であるなら一元把握出来る fact8: もし仮にあの問題性が精米だとしたらそれは通い出さない fact9: 精米は通い出さないがしかし心拍出量だ fact10: もしなにがしかの物が弥増せば脂っこくない fact11: あの問題性は決裂だということはないかあるいは定住であるかどちらもだ fact12: もしもあの問題性は決裂でないかあるいは定住でないかまたは両方ならば「精米である」ということは成り立つ fact13: もし「「あの所得割りは通い出すしそれは聖務日課書だ」ということは正しい」ということは間違いであるならばあの一夫一婦は通い出さない fact14: 「通い出さない」ものはある fact15: 仮になにがしかの物が一元把握出来るかまたはそれは弥増すかあるいはどちらもなら脂っこいということはない fact16: もしもとあるものは精米であるということはないとすれば心拍出量でない fact17: あの問題性は決裂であるかもしくは定住でないかどちらもである fact18: あの問題性は決裂でないか定住でない
fact12 & fact18 -> int1: あの問題性は精米である; fact9 -> int2: 仮にあの問題性は精米であるとすると通い出さないけれど心拍出量だ; int1 & int2 -> int3: 「あの問題性は通い出すということはないがそれは心拍出量だ」ということは本当だ; fact7 -> int4: もし仮にあの問題性が通い出すということはないがしかしそれは心拍出量なら「一元把握出来る」ということは成り立つ; int3 & int4 -> int5: あの問題性は一元把握出来る; int5 -> int6: あの問題性は一元把握出来るかもしくは弥増す; fact15 -> int7: もし仮にあの問題性は一元把握出来るかまたは弥増すかあるいはどちらもだとすれば「脂っこくない」ということは成り立つ; int6 & int7 -> int8: あの問題性は脂っこくない; int8 & fact3 -> hypothesis;
その良・低排出ガスは勝ち続けなくて脂っこくない
fact21 -> int9: もしその良・低排出ガスは精米でないならそれは心拍出量でない;
$facts$ = fact1: 「その良・低排出ガスは勝ち続けないけれどそれは脂っこい」ということは成り立たない fact2: もしもその一夫一婦は通い出さないとすれば「あの問題性は一元把握出来ない一方で精米だ」ということは成り立たない fact3: もし仮に「あの問題性は脂っこくない」ということは真実であるなら「その良・低排出ガスは勝ち続けなくてそれは脂っこいということはない」ということは嘘である fact4: もしもあの問題性は脂っこくないとすると「その良・低排出ガスは勝ち続けない一方で脂っこい」ということは嘘だ fact5: もしも精米が通い出すならそれは定住だ fact6: もし心拍出量が通い出すならそれは定住である fact7: もし仮に何らかのものが通い出さないがしかしそれは心拍出量であるなら一元把握出来る fact8: もし仮にあの問題性が精米だとしたらそれは通い出さない fact9: 精米は通い出さないがしかし心拍出量だ fact10: もしなにがしかの物が弥増せば脂っこくない fact11: あの問題性は決裂だということはないかあるいは定住であるかどちらもだ fact12: もしもあの問題性は決裂でないかあるいは定住でないかまたは両方ならば「精米である」ということは成り立つ fact13: もし「「あの所得割りは通い出すしそれは聖務日課書だ」ということは正しい」ということは間違いであるならばあの一夫一婦は通い出さない fact14: 「通い出さない」ものはある fact15: 仮になにがしかの物が一元把握出来るかまたはそれは弥増すかあるいはどちらもなら脂っこいということはない fact16: もしもとあるものは精米であるということはないとすれば心拍出量でない fact17: あの問題性は決裂であるかもしくは定住でないかどちらもである fact18: あの問題性は決裂でないか定住でない ; $hypothesis$ = 「その良・低排出ガスは勝ち続けないしその上脂っこくない」ということは成り立つ ; $proof$ = 
fact12 & fact18 -> int1: あの問題性は精米である; fact9 -> int2: 仮にあの問題性は精米であるとすると通い出さないけれど心拍出量だ; int1 & int2 -> int3: 「あの問題性は通い出すということはないがそれは心拍出量だ」ということは本当だ; fact7 -> int4: もし仮にあの問題性が通い出すということはないがしかしそれは心拍出量なら「一元把握出来る」ということは成り立つ; int3 & int4 -> int5: あの問題性は一元把握出来る; int5 -> int6: あの問題性は一元把握出来るかもしくは弥増す; fact15 -> int7: もし仮にあの問題性は一元把握出来るかまたは弥増すかあるいはどちらもだとすれば「脂っこくない」ということは成り立つ; int6 & int7 -> int8: あの問題性は脂っこくない; int8 & fact3 -> hypothesis; __DISPROVED__
事実1: 「その良・低排出ガスは勝ち続けないけれどそれは脂っこい」ということは成り立たない
事実2: もしもその一夫一婦は通い出さないとすれば「あの問題性は一元把握出来ない一方で精米だ」ということは成り立たない
事実3: もし仮に「あの問題性は脂っこくない」ということは真実であるなら「その良・低排出ガスは勝ち続けなくてそれは脂っこいということはない」ということは嘘である
事実4: もしもあの問題性は脂っこくないとすると「その良・低排出ガスは勝ち続けない一方で脂っこい」ということは嘘だ
事実5: もしも精米が通い出すならそれは定住だ
事実6: もし心拍出量が通い出すならそれは定住である
事実7: もし仮に何らかのものが通い出さないがしかしそれは心拍出量であるなら一元把握出来る
事実8: もし仮にあの問題性が精米だとしたらそれは通い出さない
事実9: 精米は通い出さないがしかし心拍出量だ
事実10: もしなにがしかの物が弥増せば脂っこくない
事実11: あの問題性は決裂だということはないかあるいは定住であるかどちらもだ
事実12: もしもあの問題性は決裂でないかあるいは定住でないかまたは両方ならば「精米である」ということは成り立つ
事実13: もし「「あの所得割りは通い出すしそれは聖務日課書だ」ということは正しい」ということは間違いであるならばあの一夫一婦は通い出さない
事実14: 「通い出さない」ものはある
事実15: 仮になにがしかの物が一元把握出来るかまたはそれは弥増すかあるいはどちらもなら脂っこいということはない
事実16: もしもとあるものは精米であるということはないとすれば心拍出量でない
事実17: あの問題性は決裂であるかもしくは定住でないかどちらもである
事実18: あの問題性は決裂でないか定住でない

仮説: 「その良・低排出ガスは勝ち続けないしその上脂っこくない」ということは成り立つ
1. 事実12と事実18から、推論1: "あの問題性は精米である"が導かれる
2. 事実9から、推論2: "仮にあの問題性は精米であるとすると通い出さないけれど心拍出量だ"が導かれる
3. 推論1と推論2から、推論3: "「あの問題性は通い出すということはないがそれは心拍出量だ」ということは本当だ"が導かれる
4. 事実7から、推論4: "もし仮にあの問題性が通い出すということはないがしかしそれは心拍出量なら「一元把握出来る」ということは成り立つ"が導かれる
5. 推論3と推論4から、推論5: "あの問題性は一元把握出来る"が導かれる
6. 推論5から、推論6: "あの問題性は一元把握出来るかもしくは弥増す"が導かれる
7. 事実15から、推論7: "もし仮にあの問題性は一元把握出来るかまたは弥増すかあるいはどちらもだとすれば「脂っこくない」ということは成り立つ"が導かれる
8. 推論6と推論7から、推論8: "あの問題性は脂っこくない"が導かれる
9. 推論8と事実3から、仮説が否定される

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