このＥＰは修理しない
fact1: 「そのコンセプトカーは飛び散るが気弱くない」ということは間違いである fact2: 「そのコンセプトカーは飛び散らなくてそれは気弱くない」ということは確かでない fact3: あのＳＰＥは排便する fact4: もしも「そのコンセプトカーは飛び散るということはないしおまけに気弱くない」ということは偽だとするとその部屋番号は弁解がましかない fact5: もし仮にそのコンセプトカーは疑り深いとすれば「そのエレクトロインターカレーションは機能異常だ」ということは真実だ fact6: もし仮にこの酒浸りが合衆国以外でなくて破り捨てないとしたらこのＥＰは合衆国以外だということはない fact7: 仮にあのＳＰＥが排便するとすればその右枝は後列である fact8: 機能異常が弁解はましくらないし修理しない fact9: もしもその右枝が後列であるならこの酒浸りは合衆国以外でないし破り捨てない fact10: もしその部屋番号が弁解がましかないならこのＥＰは修理しない fact11: もし仮にこのＥＰが合衆国以外でないとしたらその部屋番号は入選するしそれは薄まる fact12: 「「そのコンセプトカーは飛び散るということはないけど気弱い」ということは誤りだ」ということは成り立つ fact13: もしとある物が乱れ飛ばないとしたらそれは疑り深いししかも騒ぎ立つ
fact4 & fact2 -> int1: その部屋番号は弁解がましかない; int1 & fact10 -> hypothesis;
fact4 & fact2 -> int1: ¬{B}{b}; int1 & fact10 -> hypothesis;
そのエレクトロインターカレーションは修理しない
fact19 -> int2: もしそのエレクトロインターカレーションが機能異常であるとしたら弁解はましくらないし更にそれは修理しない; fact17 -> int3: そのコンセプトカーが乱れ飛ばないとしたらそれは疑り深いしそれにそれは騒ぎ立つ; fact20 & fact18 -> int4: その右枝は後列である; fact14 & int4 -> int5: この酒浸りは合衆国以外でないしその上破り捨てるということはない; fact21 & int5 -> int6: このＥＰは合衆国以外でない; fact16 & int6 -> int7: その部屋番号は入選するし加えて薄まる; int7 -> int8: なんらかの物は入選するし薄まる;
$facts$ = fact1: 「そのコンセプトカーは飛び散るが気弱くない」ということは間違いである fact2: 「そのコンセプトカーは飛び散らなくてそれは気弱くない」ということは確かでない fact3: あのＳＰＥは排便する fact4: もしも「そのコンセプトカーは飛び散るということはないしおまけに気弱くない」ということは偽だとするとその部屋番号は弁解がましかない fact5: もし仮にそのコンセプトカーは疑り深いとすれば「そのエレクトロインターカレーションは機能異常だ」ということは真実だ fact6: もし仮にこの酒浸りが合衆国以外でなくて破り捨てないとしたらこのＥＰは合衆国以外だということはない fact7: 仮にあのＳＰＥが排便するとすればその右枝は後列である fact8: 機能異常が弁解はましくらないし修理しない fact9: もしもその右枝が後列であるならこの酒浸りは合衆国以外でないし破り捨てない fact10: もしその部屋番号が弁解がましかないならこのＥＰは修理しない fact11: もし仮にこのＥＰが合衆国以外でないとしたらその部屋番号は入選するしそれは薄まる fact12: 「「そのコンセプトカーは飛び散るということはないけど気弱い」ということは誤りだ」ということは成り立つ fact13: もしとある物が乱れ飛ばないとしたらそれは疑り深いししかも騒ぎ立つ ; $hypothesis$ = このＥＰは修理しない ; $proof$ = 
fact4 & fact2 -> int1: その部屋番号は弁解がましかない; int1 & fact10 -> hypothesis; __PROVED__
事実1: 「そのコンセプトカーは飛び散るが気弱くない」ということは間違いである
事実2: 「そのコンセプトカーは飛び散らなくてそれは気弱くない」ということは確かでない
事実3: あのＳＰＥは排便する
事実4: もしも「そのコンセプトカーは飛び散るということはないしおまけに気弱くない」ということは偽だとするとその部屋番号は弁解がましかない
事実5: もし仮にそのコンセプトカーは疑り深いとすれば「そのエレクトロインターカレーションは機能異常だ」ということは真実だ
事実6: もし仮にこの酒浸りが合衆国以外でなくて破り捨てないとしたらこのＥＰは合衆国以外だということはない
事実7: 仮にあのＳＰＥが排便するとすればその右枝は後列である
事実8: 機能異常が弁解はましくらないし修理しない
事実9: もしもその右枝が後列であるならこの酒浸りは合衆国以外でないし破り捨てない
事実10: もしその部屋番号が弁解がましかないならこのＥＰは修理しない
事実11: もし仮にこのＥＰが合衆国以外でないとしたらその部屋番号は入選するしそれは薄まる
事実12: 「「そのコンセプトカーは飛び散るということはないけど気弱い」ということは誤りだ」ということは成り立つ
事実13: もしとある物が乱れ飛ばないとしたらそれは疑り深いししかも騒ぎ立つ

仮説: このＥＰは修理しない
1. 事実4と事実2から、推論1: "その部屋番号は弁解がましかない"が導かれる
2. 推論1と事実10から、仮説が導かれる

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