この疑核は春らしくない
fact1: もしもこの十一Ｂは太り易くないとしたら「「この疑核が本協約だしさらにそれは太り易い」ということは間違っている」ということは正しい fact2: もし仮に「この十一Ｂは太り易くない」ということは真実であるなら「あのフロンガスは擦れ違うけど太り易くない」ということは偽だ fact3: もし「「あのフロンガスは密植であるけれど太り易いということはない」ということは偽だ」ということは真実であるならば春らしくない fact4: もしもこの十一Ｂは太り易くないなら「この疑核は本協約だが太り易くない」ということは真実でない fact5: この十一Ｂは密植でない fact6: もし仮にあのフロンガスが渉猟すればこの同好会は本協約だけど春らしいということはない fact7: もしもあのフロンガスが擦れ違うとしたらこの十一Ｂは太り易くない fact8: 太り易い物は春らしくない fact9: 仮に「何かは本協約だがしかし擦れ違わない」ということは事実と異なるとすると太り易くない fact10: もし仮に「あのフロンガスは春らしいが密植でない」ということは本当でないとすれば擦れ違わない fact11: 「あのフロンガスは密植でなくて擦れ違わない」ということは偽だとすればこの十一Ｂは太り易くない fact12: この疑核は落とし掛けない fact13: 「あのフロンガスは春らしい一方で太り易くない」ということは成り立つということはないとすると密植だということはない fact14: 仮に「なにがしかの物は本協約だけれど太り易くない」ということは間違っているとすれば春らしくない fact15: 「この十一Ｂは春らしくないししかも太り易くない」ということは偽だ fact16: もしもあのフロンガスが本協約でないししかも春らしくないとすればこの疑核は春らしい fact17: 「あのフロンガスは密植であるということはないけれどそれは擦れ違う」ということは成り立たない fact18: 「あのフロンガスは密植でないしさらに擦れ違わない」ということは間違いである
fact11 & fact18 -> int1: この十一Ｂは太り易くない; int1 & fact4 -> int2: 「「この疑核は本協約だ一方で太り易いということはない」ということは嘘である」ということは確かである; fact14 -> int3: もしも「この疑核は本協約だけど太り易くない」ということは間違っていれば春らしくない; int2 & int3 -> hypothesis;
fact11 & fact18 -> int1: ¬{B}{b}; int1 & fact4 -> int2: ¬({C}{c} & ¬{B}{c}); fact14 -> int3: ¬({C}{c} & ¬{B}{c}) -> ¬{A}{c}; int2 & int3 -> hypothesis;
この同好会は太り易くない
$facts$ = fact1: もしもこの十一Ｂは太り易くないとしたら「「この疑核が本協約だしさらにそれは太り易い」ということは間違っている」ということは正しい fact2: もし仮に「この十一Ｂは太り易くない」ということは真実であるなら「あのフロンガスは擦れ違うけど太り易くない」ということは偽だ fact3: もし「「あのフロンガスは密植であるけれど太り易いということはない」ということは偽だ」ということは真実であるならば春らしくない fact4: もしもこの十一Ｂは太り易くないなら「この疑核は本協約だが太り易くない」ということは真実でない fact5: この十一Ｂは密植でない fact6: もし仮にあのフロンガスが渉猟すればこの同好会は本協約だけど春らしいということはない fact7: もしもあのフロンガスが擦れ違うとしたらこの十一Ｂは太り易くない fact8: 太り易い物は春らしくない fact9: 仮に「何かは本協約だがしかし擦れ違わない」ということは事実と異なるとすると太り易くない fact10: もし仮に「あのフロンガスは春らしいが密植でない」ということは本当でないとすれば擦れ違わない fact11: 「あのフロンガスは密植でなくて擦れ違わない」ということは偽だとすればこの十一Ｂは太り易くない fact12: この疑核は落とし掛けない fact13: 「あのフロンガスは春らしい一方で太り易くない」ということは成り立つということはないとすると密植だということはない fact14: 仮に「なにがしかの物は本協約だけれど太り易くない」ということは間違っているとすれば春らしくない fact15: 「この十一Ｂは春らしくないししかも太り易くない」ということは偽だ fact16: もしもあのフロンガスが本協約でないししかも春らしくないとすればこの疑核は春らしい fact17: 「あのフロンガスは密植であるということはないけれどそれは擦れ違う」ということは成り立たない fact18: 「あのフロンガスは密植でないしさらに擦れ違わない」ということは間違いである ; $hypothesis$ = この疑核は春らしくない ; $proof$ = 
fact11 & fact18 -> int1: この十一Ｂは太り易くない; int1 & fact4 -> int2: 「「この疑核は本協約だ一方で太り易いということはない」ということは嘘である」ということは確かである; fact14 -> int3: もしも「この疑核は本協約だけど太り易くない」ということは間違っていれば春らしくない; int2 & int3 -> hypothesis; __PROVED__
事実1: もしもこの十一Ｂは太り易くないとしたら「「この疑核が本協約だしさらにそれは太り易い」ということは間違っている」ということは正しい
事実2: もし仮に「この十一Ｂは太り易くない」ということは真実であるなら「あのフロンガスは擦れ違うけど太り易くない」ということは偽だ
事実3: もし「「あのフロンガスは密植であるけれど太り易いということはない」ということは偽だ」ということは真実であるならば春らしくない
事実4: もしもこの十一Ｂは太り易くないなら「この疑核は本協約だが太り易くない」ということは真実でない
事実5: この十一Ｂは密植でない
事実6: もし仮にあのフロンガスが渉猟すればこの同好会は本協約だけど春らしいということはない
事実7: もしもあのフロンガスが擦れ違うとしたらこの十一Ｂは太り易くない
事実8: 太り易い物は春らしくない
事実9: 仮に「何かは本協約だがしかし擦れ違わない」ということは事実と異なるとすると太り易くない
事実10: もし仮に「あのフロンガスは春らしいが密植でない」ということは本当でないとすれば擦れ違わない
事実11: 「あのフロンガスは密植でなくて擦れ違わない」ということは偽だとすればこの十一Ｂは太り易くない
事実12: この疑核は落とし掛けない
事実13: 「あのフロンガスは春らしい一方で太り易くない」ということは成り立つということはないとすると密植だということはない
事実14: 仮に「なにがしかの物は本協約だけれど太り易くない」ということは間違っているとすれば春らしくない
事実15: 「この十一Ｂは春らしくないししかも太り易くない」ということは偽だ
事実16: もしもあのフロンガスが本協約でないししかも春らしくないとすればこの疑核は春らしい
事実17: 「あのフロンガスは密植であるということはないけれどそれは擦れ違う」ということは成り立たない
事実18: 「あのフロンガスは密植でないしさらに擦れ違わない」ということは間違いである

仮説: この疑核は春らしくない
1. 事実11と事実18から、推論1: "この十一Ｂは太り易くない"が導かれる
2. 推論1と事実4から、推論2: "「「この疑核は本協約だ一方で太り易いということはない」ということは嘘である」ということは確かである"が導かれる
3. 事実14から、推論3: "もしも「この疑核は本協約だけど太り易くない」ということは間違っていれば春らしくない"が導かれる
4. 推論2と推論3から、仮説が導かれる

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