「そのサプリメントは紅葉するが深くない」ということは嘘だ
fact1: もしもその民事保全規則は深くないなら「そのサプリメントは紅葉するししかも深い」ということは正しくない fact2: 「そのサプリメントは薄ら寒くてまたそれは深い」ということは成り立たない fact3: もし仮に何らかのものが構成し直すとしたら薄ら寒い fact4: その民事保全規則は紅葉しないし更に薄ら寒くない fact5: その民事保全規則は深くなくて薄ら寒いということはない fact6: そのヌークシオ国立公園が決め兼ねるということはないとしたらその民事保全規則は薄ら寒くて加えて構成し直す fact7: その民事保全規則は薄ら寒いということはない fact8: 「そのサプリメントは紅葉するしおまけに深い」ということは成り立たない fact9: そのサプリメントは薄ら寒くないしその上深いということはない fact10: その民事保全規則は紅葉しないなら「そのサプリメントは深いがしかし紅葉しない」ということは誤りである fact11: もし仮に何かは薄ら寒いならば「深いけれど御恥ずかしくない」ということは成り立つということはない fact12: 「「あの認知理論は非定型抗精神病薬でなくてしかも決め兼ねない」ということは間違いだ」ということは本当だとしたらそのヌークシオ国立公園は決め兼ねない fact13: もし仮にその民事保全規則は深いということはないとすれば「「そのサプリメントは紅葉する一方で深くない」ということは成り立つ」ということは成り立たない fact14: その灯し火は紅葉しない
fact5 -> int1: その民事保全規則は深くない; int1 & fact13 -> hypothesis;
そのサプリメントは紅葉するがしかし深くない
$facts$ = fact1: もしもその民事保全規則は深くないなら「そのサプリメントは紅葉するししかも深い」ということは正しくない fact2: 「そのサプリメントは薄ら寒くてまたそれは深い」ということは成り立たない fact3: もし仮に何らかのものが構成し直すとしたら薄ら寒い fact4: その民事保全規則は紅葉しないし更に薄ら寒くない fact5: その民事保全規則は深くなくて薄ら寒いということはない fact6: そのヌークシオ国立公園が決め兼ねるということはないとしたらその民事保全規則は薄ら寒くて加えて構成し直す fact7: その民事保全規則は薄ら寒いということはない fact8: 「そのサプリメントは紅葉するしおまけに深い」ということは成り立たない fact9: そのサプリメントは薄ら寒くないしその上深いということはない fact10: その民事保全規則は紅葉しないなら「そのサプリメントは深いがしかし紅葉しない」ということは誤りである fact11: もし仮に何かは薄ら寒いならば「深いけれど御恥ずかしくない」ということは成り立つということはない fact12: 「「あの認知理論は非定型抗精神病薬でなくてしかも決め兼ねない」ということは間違いだ」ということは本当だとしたらそのヌークシオ国立公園は決め兼ねない fact13: もし仮にその民事保全規則は深いということはないとすれば「「そのサプリメントは紅葉する一方で深くない」ということは成り立つ」ということは成り立たない fact14: その灯し火は紅葉しない ; $hypothesis$ = 「そのサプリメントは紅葉するが深くない」ということは嘘だ ; $proof$ = 
fact5 -> int1: その民事保全規則は深くない; int1 & fact13 -> hypothesis; __PROVED__
事実1: もしもその民事保全規則は深くないなら「そのサプリメントは紅葉するししかも深い」ということは正しくない
事実2: 「そのサプリメントは薄ら寒くてまたそれは深い」ということは成り立たない
事実3: もし仮に何らかのものが構成し直すとしたら薄ら寒い
事実4: その民事保全規則は紅葉しないし更に薄ら寒くない
事実5: その民事保全規則は深くなくて薄ら寒いということはない
事実6: そのヌークシオ国立公園が決め兼ねるということはないとしたらその民事保全規則は薄ら寒くて加えて構成し直す
事実7: その民事保全規則は薄ら寒いということはない
事実8: 「そのサプリメントは紅葉するしおまけに深い」ということは成り立たない
事実9: そのサプリメントは薄ら寒くないしその上深いということはない
事実10: その民事保全規則は紅葉しないなら「そのサプリメントは深いがしかし紅葉しない」ということは誤りである
事実11: もし仮に何かは薄ら寒いならば「深いけれど御恥ずかしくない」ということは成り立つということはない
事実12: 「「あの認知理論は非定型抗精神病薬でなくてしかも決め兼ねない」ということは間違いだ」ということは本当だとしたらそのヌークシオ国立公園は決め兼ねない
事実13: もし仮にその民事保全規則は深いということはないとすれば「「そのサプリメントは紅葉する一方で深くない」ということは成り立つ」ということは成り立たない
事実14: その灯し火は紅葉しない

仮説: 「そのサプリメントは紅葉するが深くない」ということは嘘だ
1. 事実5から、推論1: "その民事保全規則は深くない"が導かれる
2. 推論1と事実13から、仮説が導かれる

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