あの作業工程は御辛いかもしくはそれは照明するかまたは両方だ
fact1: 御辛いものはうらぶれる fact2: もし仮にそのえいが無理しない一方でそれが弁才天修儀だとするとあの作業工程はトラフィックでない fact3: もし仮にそのホグワーツがうらぶれるとすればそのえいは無理するということはない fact4: 何かは均すということはないとするとそれは来し易いかあるいは擦り伸ばすかまたは両方である fact5: もしもそのホグワーツがうらぶれるとすればそのえいは無理しないが弁才天修儀である fact6: そのえいは再発し易くない fact7: 仮になにかはトラフィックでないならそれは御辛いかもしくはそれは照明するかどちらもである fact8: その連邦はうらぶれる fact9: あの安芸城は御辛くない fact10: もしそのホグワーツはうらぶれないか受け渡ししないかもしくは両方ともであるとしたらあの作業工程はうらぶれない fact11: もし仮に何かは照明するとするとそのえいは御辛い fact12: この一本分左はトラフィックでない fact13: もし「そのホグワーツはトラフィックだ」ということは成り立つとすればそれはうらぶれないかもしくはそれは受け渡ししない fact14: そのホグワーツはうらぶれる fact15: もしとある物はうらぶれるなら「それはトラフィックだ」ということは確かである
fact5 & fact14 -> int1: そのえいは無理するということはない一方で弁才天修儀である; int1 & fact2 -> int2: あの作業工程はトラフィックでない; fact7 -> int3: もしあの作業工程がトラフィックでないとすればそれは御辛いか照明する; int2 & int3 -> hypothesis;
fact5 & fact14 -> int1: (¬{AA}{b} & {AB}{b}); int1 & fact2 -> int2: ¬{B}{c}; fact7 -> int3: ¬{B}{c} -> ({C}{c} v {D}{c}); int2 & int3 -> hypothesis;
「あの作業工程は御辛いかもしくは照明するかまたは両方である」ということは間違いである
$facts$ = fact1: 御辛いものはうらぶれる fact2: もし仮にそのえいが無理しない一方でそれが弁才天修儀だとするとあの作業工程はトラフィックでない fact3: もし仮にそのホグワーツがうらぶれるとすればそのえいは無理するということはない fact4: 何かは均すということはないとするとそれは来し易いかあるいは擦り伸ばすかまたは両方である fact5: もしもそのホグワーツがうらぶれるとすればそのえいは無理しないが弁才天修儀である fact6: そのえいは再発し易くない fact7: 仮になにかはトラフィックでないならそれは御辛いかもしくはそれは照明するかどちらもである fact8: その連邦はうらぶれる fact9: あの安芸城は御辛くない fact10: もしそのホグワーツはうらぶれないか受け渡ししないかもしくは両方ともであるとしたらあの作業工程はうらぶれない fact11: もし仮に何かは照明するとするとそのえいは御辛い fact12: この一本分左はトラフィックでない fact13: もし「そのホグワーツはトラフィックだ」ということは成り立つとすればそれはうらぶれないかもしくはそれは受け渡ししない fact14: そのホグワーツはうらぶれる fact15: もしとある物はうらぶれるなら「それはトラフィックだ」ということは確かである ; $hypothesis$ = あの作業工程は御辛いかもしくはそれは照明するかまたは両方だ ; $proof$ = 
fact5 & fact14 -> int1: そのえいは無理するということはない一方で弁才天修儀である; int1 & fact2 -> int2: あの作業工程はトラフィックでない; fact7 -> int3: もしあの作業工程がトラフィックでないとすればそれは御辛いか照明する; int2 & int3 -> hypothesis; __PROVED__
事実1: 御辛いものはうらぶれる
事実2: もし仮にそのえいが無理しない一方でそれが弁才天修儀だとするとあの作業工程はトラフィックでない
事実3: もし仮にそのホグワーツがうらぶれるとすればそのえいは無理するということはない
事実4: 何かは均すということはないとするとそれは来し易いかあるいは擦り伸ばすかまたは両方である
事実5: もしもそのホグワーツがうらぶれるとすればそのえいは無理しないが弁才天修儀である
事実6: そのえいは再発し易くない
事実7: 仮になにかはトラフィックでないならそれは御辛いかもしくはそれは照明するかどちらもである
事実8: その連邦はうらぶれる
事実9: あの安芸城は御辛くない
事実10: もしそのホグワーツはうらぶれないか受け渡ししないかもしくは両方ともであるとしたらあの作業工程はうらぶれない
事実11: もし仮に何かは照明するとするとそのえいは御辛い
事実12: この一本分左はトラフィックでない
事実13: もし「そのホグワーツはトラフィックだ」ということは成り立つとすればそれはうらぶれないかもしくはそれは受け渡ししない
事実14: そのホグワーツはうらぶれる
事実15: もしとある物はうらぶれるなら「それはトラフィックだ」ということは確かである

仮説: あの作業工程は御辛いかもしくはそれは照明するかまたは両方だ
1. 事実5と事実14から、推論1: "そのえいは無理するということはない一方で弁才天修儀である"が導かれる
2. 推論1と事実2から、推論2: "あの作業工程はトラフィックでない"が導かれる
3. 事実7から、推論3: "もしあの作業工程がトラフィックでないとすればそれは御辛いか照明する"が導かれる
4. 推論2と推論3から、仮説が導かれる

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