その天台宗は暗いということはない
fact1: 「その天台宗は見分け難くないけど奏効する」ということは事実と異なる fact2: もしも「ある物は白くないしそれに落ち易くない」ということは事実と異なるとしたらそれは暗くない fact3: 「「その天台宗は艶っぽいけど白いということはない」ということは誤りだ」ということは確かだ fact4: もしも「女々しい」ものはあるとすれば「その天台宗は落ち易いがしかし女々しかない」ということは事実と異なる fact5: もしも何らかの物は急性胃腸炎であるなら「その天台宗は落ち易くないけど急性胃腸炎だ」ということは事実と異なる fact6: 仮にとあるものは落ち易いとすれば「その天台宗は白くないし落ち易くない」ということは成り立たない fact7: 「落ち易い」ものはある fact8: もしも「垂直歪みな」ものはあるなら「この単純形は白いがしかし垂直歪みでない」ということは嘘である fact9: もしも「何らかのものは叩きでないしそれは対日輸出だということはない」ということは偽だとすれば元祖血脈であるということはない fact10: 「その天台宗は宜しいが落ち易くない」ということは間違いである fact11: もしも「その天台宗は納得し難いということはなくておまけに暗くない」ということは成り立たないとすればＸＹＺ表色系でない fact12: 「娘らしい」物はあるとすると「その前潟は白くないしその上娘らしいない」ということは成り立たない fact13: 「その天台宗は病み衰えなくてその上結成するということはない」ということは成り立たないとしたら落ち易くない fact14: 「その天台宗は白くないしそれは固しない」ということは誤っている
fact2 -> int1: もし仮に「その天台宗は白くないしまたそれは落ち易くない」ということは成り立たないとしたら暗くない; fact7 & fact6 -> int2: 「その天台宗は白くないし更に落ち易くない」ということは誤っている; int1 & int2 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; fact7 & fact6 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
$facts$ = fact1: 「その天台宗は見分け難くないけど奏効する」ということは事実と異なる fact2: もしも「ある物は白くないしそれに落ち易くない」ということは事実と異なるとしたらそれは暗くない fact3: 「「その天台宗は艶っぽいけど白いということはない」ということは誤りだ」ということは確かだ fact4: もしも「女々しい」ものはあるとすれば「その天台宗は落ち易いがしかし女々しかない」ということは事実と異なる fact5: もしも何らかの物は急性胃腸炎であるなら「その天台宗は落ち易くないけど急性胃腸炎だ」ということは事実と異なる fact6: 仮にとあるものは落ち易いとすれば「その天台宗は白くないし落ち易くない」ということは成り立たない fact7: 「落ち易い」ものはある fact8: もしも「垂直歪みな」ものはあるなら「この単純形は白いがしかし垂直歪みでない」ということは嘘である fact9: もしも「何らかのものは叩きでないしそれは対日輸出だということはない」ということは偽だとすれば元祖血脈であるということはない fact10: 「その天台宗は宜しいが落ち易くない」ということは間違いである fact11: もしも「その天台宗は納得し難いということはなくておまけに暗くない」ということは成り立たないとすればＸＹＺ表色系でない fact12: 「娘らしい」物はあるとすると「その前潟は白くないしその上娘らしいない」ということは成り立たない fact13: 「その天台宗は病み衰えなくてその上結成するということはない」ということは成り立たないとしたら落ち易くない fact14: 「その天台宗は白くないしそれは固しない」ということは誤っている ; $hypothesis$ = その天台宗は暗いということはない ; $proof$ = 
fact2 -> int1: もし仮に「その天台宗は白くないしまたそれは落ち易くない」ということは成り立たないとしたら暗くない; fact7 & fact6 -> int2: 「その天台宗は白くないし更に落ち易くない」ということは誤っている; int1 & int2 -> hypothesis; __PROVED__
事実1: 「その天台宗は見分け難くないけど奏効する」ということは事実と異なる
事実2: もしも「ある物は白くないしそれに落ち易くない」ということは事実と異なるとしたらそれは暗くない
事実3: 「「その天台宗は艶っぽいけど白いということはない」ということは誤りだ」ということは確かだ
事実4: もしも「女々しい」ものはあるとすれば「その天台宗は落ち易いがしかし女々しかない」ということは事実と異なる
事実5: もしも何らかの物は急性胃腸炎であるなら「その天台宗は落ち易くないけど急性胃腸炎だ」ということは事実と異なる
事実6: 仮にとあるものは落ち易いとすれば「その天台宗は白くないし落ち易くない」ということは成り立たない
事実7: 「落ち易い」ものはある
事実8: もしも「垂直歪みな」ものはあるなら「この単純形は白いがしかし垂直歪みでない」ということは嘘である
事実9: もしも「何らかのものは叩きでないしそれは対日輸出だということはない」ということは偽だとすれば元祖血脈であるということはない
事実10: 「その天台宗は宜しいが落ち易くない」ということは間違いである
事実11: もしも「その天台宗は納得し難いということはなくておまけに暗くない」ということは成り立たないとすればＸＹＺ表色系でない
事実12: 「娘らしい」物はあるとすると「その前潟は白くないしその上娘らしいない」ということは成り立たない
事実13: 「その天台宗は病み衰えなくてその上結成するということはない」ということは成り立たないとしたら落ち易くない
事実14: 「その天台宗は白くないしそれは固しない」ということは誤っている

仮説: その天台宗は暗いということはない
1. 事実2から、推論1: "もし仮に「その天台宗は白くないしまたそれは落ち易くない」ということは成り立たないとしたら暗くない"が導かれる
2. 事実7と事実6から、推論2: "「その天台宗は白くないし更に落ち易くない」ということは誤っている"が導かれる
3. 推論1と推論2から、仮説が導かれる

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