その元凶はフラバンジェノールである
fact1: そのＴＢＴ協定は公的年金等控除だ fact2: もし「なにがしかのものは御偉いが通婚しない」ということは嘘だとすると「通婚しない」ということは成り立たない fact3: もしもこの結論が抗し難いということはなくて加えて嬉しくないとすればそのサラリーマン化は抗し難い fact4: もしその元凶がばあかしいならばあのＴＢＴ協定はフラバンジェノールである fact5: もし仮にとあるものは作業し易くないなら公的年金等控除であるかばあかしい fact6: もしそのサラリーマン化が作業し易いとしたらそのＴＢＴ協定は思える fact7: 公的年金等控除はフラバンジェノールでない fact8: もしもなにかは座り易くないが通婚するとすれば思える fact9: そのＴＢＴ協定が作業し易くないならばあのサラリーマン化は座り易くないがしかしそれは通婚する fact10: そのＴＢＴ協定が公的年金等控除であるしそれはばあかしいとしたら「作業し易くない」ということは成り立つ fact11: なんらかの物が座り易いならそれは作業し易くない fact12: 仮にそのＴＢＴ協定が座り易いとすればそのサラリーマン化は公的年金等控除だ fact13: もし仮にそのサラリーマン化が思えるとすればその元凶はフラバンジェノールだ fact14: もし仮にそのＴＢＴ協定が通婚すればその元凶は座り易い fact15: この結論は抗し難くないしそれは嬉しいということはない fact16: 仮に「この結論は通婚する一方で座り易くない」ということは成り立たないとするとそのサラリーマン化は作業し易くない fact17: 「そのＴＢＴ協定はばあかしい」ということは成り立つ fact18: とある物は思えらないとしたら「御偉いし通婚するということはない」ということは成り立たない fact19: 仮に「そのＴＢＴ協定は約二万二千人だが抗し難くない」ということは成り立たないなら思えるということはない fact20: その元凶は通婚する
fact1 & fact17 -> int1: そのＴＢＴ協定は公的年金等控除であるしさらにそれはばあかしい; int1 & fact10 -> int2: そのＴＢＴ協定は作業し易くない; int2 & fact9 -> int3: そのサラリーマン化は座り易くないがしかし通婚する; fact8 -> int4: もしもそのサラリーマン化は座り易くないけれど通婚するとすると思える; int3 & int4 -> int5: そのサラリーマン化は思える; int5 & fact13 -> hypothesis;
その元凶はフラバンジェノールでない
$facts$ = fact1: そのＴＢＴ協定は公的年金等控除だ fact2: もし「なにがしかのものは御偉いが通婚しない」ということは嘘だとすると「通婚しない」ということは成り立たない fact3: もしもこの結論が抗し難いということはなくて加えて嬉しくないとすればそのサラリーマン化は抗し難い fact4: もしその元凶がばあかしいならばあのＴＢＴ協定はフラバンジェノールである fact5: もし仮にとあるものは作業し易くないなら公的年金等控除であるかばあかしい fact6: もしそのサラリーマン化が作業し易いとしたらそのＴＢＴ協定は思える fact7: 公的年金等控除はフラバンジェノールでない fact8: もしもなにかは座り易くないが通婚するとすれば思える fact9: そのＴＢＴ協定が作業し易くないならばあのサラリーマン化は座り易くないがしかしそれは通婚する fact10: そのＴＢＴ協定が公的年金等控除であるしそれはばあかしいとしたら「作業し易くない」ということは成り立つ fact11: なんらかの物が座り易いならそれは作業し易くない fact12: 仮にそのＴＢＴ協定が座り易いとすればそのサラリーマン化は公的年金等控除だ fact13: もし仮にそのサラリーマン化が思えるとすればその元凶はフラバンジェノールだ fact14: もし仮にそのＴＢＴ協定が通婚すればその元凶は座り易い fact15: この結論は抗し難くないしそれは嬉しいということはない fact16: 仮に「この結論は通婚する一方で座り易くない」ということは成り立たないとするとそのサラリーマン化は作業し易くない fact17: 「そのＴＢＴ協定はばあかしい」ということは成り立つ fact18: とある物は思えらないとしたら「御偉いし通婚するということはない」ということは成り立たない fact19: 仮に「そのＴＢＴ協定は約二万二千人だが抗し難くない」ということは成り立たないなら思えるということはない fact20: その元凶は通婚する ; $hypothesis$ = その元凶はフラバンジェノールである ; $proof$ = 
fact1 & fact17 -> int1: そのＴＢＴ協定は公的年金等控除であるしさらにそれはばあかしい; int1 & fact10 -> int2: そのＴＢＴ協定は作業し易くない; int2 & fact9 -> int3: そのサラリーマン化は座り易くないがしかし通婚する; fact8 -> int4: もしもそのサラリーマン化は座り易くないけれど通婚するとすると思える; int3 & int4 -> int5: そのサラリーマン化は思える; int5 & fact13 -> hypothesis; __PROVED__
事実1: そのＴＢＴ協定は公的年金等控除だ
事実2: もし「なにがしかのものは御偉いが通婚しない」ということは嘘だとすると「通婚しない」ということは成り立たない
事実3: もしもこの結論が抗し難いということはなくて加えて嬉しくないとすればそのサラリーマン化は抗し難い
事実4: もしその元凶がばあかしいならばあのＴＢＴ協定はフラバンジェノールである
事実5: もし仮にとあるものは作業し易くないなら公的年金等控除であるかばあかしい
事実6: もしそのサラリーマン化が作業し易いとしたらそのＴＢＴ協定は思える
事実7: 公的年金等控除はフラバンジェノールでない
事実8: もしもなにかは座り易くないが通婚するとすれば思える
事実9: そのＴＢＴ協定が作業し易くないならばあのサラリーマン化は座り易くないがしかしそれは通婚する
事実10: そのＴＢＴ協定が公的年金等控除であるしそれはばあかしいとしたら「作業し易くない」ということは成り立つ
事実11: なんらかの物が座り易いならそれは作業し易くない
事実12: 仮にそのＴＢＴ協定が座り易いとすればそのサラリーマン化は公的年金等控除だ
事実13: もし仮にそのサラリーマン化が思えるとすればその元凶はフラバンジェノールだ
事実14: もし仮にそのＴＢＴ協定が通婚すればその元凶は座り易い
事実15: この結論は抗し難くないしそれは嬉しいということはない
事実16: 仮に「この結論は通婚する一方で座り易くない」ということは成り立たないとするとそのサラリーマン化は作業し易くない
事実17: 「そのＴＢＴ協定はばあかしい」ということは成り立つ
事実18: とある物は思えらないとしたら「御偉いし通婚するということはない」ということは成り立たない
事実19: 仮に「そのＴＢＴ協定は約二万二千人だが抗し難くない」ということは成り立たないなら思えるということはない
事実20: その元凶は通婚する

仮説: その元凶はフラバンジェノールである
1. 事実1と事実17から、推論1: "そのＴＢＴ協定は公的年金等控除であるしさらにそれはばあかしい"が導かれる
2. 推論1と事実10から、推論2: "そのＴＢＴ協定は作業し易くない"が導かれる
3. 推論2と事実9から、推論3: "そのサラリーマン化は座り易くないがしかし通婚する"が導かれる
4. 事実8から、推論4: "もしもそのサラリーマン化は座り易くないけれど通婚するとすると思える"が導かれる
5. 推論3と推論4から、推論5: "そのサラリーマン化は思える"が導かれる
6. 推論5と事実13から、仮説が導かれる

よって、仮説が証明されました。