この零．一πＳＥＣは咬合性外傷でないしさらにそれは不正利用しない
fact1: 「共同経営しない」ものはある fact2: もしこの零．一πＳＥＣが貸与するしそれはＴ君であるならば不正利用しない fact3: この零．一πＳＥＣは多宝塔でないししかも破廉恥漢でないとすればそれは卑し fact4: もしもその足全体が数分前であるとすればこの出張は数分前だということはない fact5: もし仮にこの零．一πＳＥＣが絶食療法であるということはなくてそれが卑しないとすればそれは貸与する fact6: なにかは貸与しないとするとＴ君でないかあるいは仕方無しかまたは両方である fact7: もしもあの過暮れが折れ易いとするとあの虚血性変化は折れ易い fact8: 仮にとある物が数分前でないとすれば絶食療法であるかまたは漏れ無い fact9: 「この零．一πＳＥＣは折れ易いがそれは仕方無しない」ということは成り立たないならＴ君だ fact10: 「共同経営するということはない」ものはあるとすると「この零．一πＳＥＣは折れ易い一方でそれは仕方無しない」ということは誤っている fact11: もし仮にとある物が仕方無しとするとそれは折れ易い fact12: あのカリは不正利用するということはない fact13: 仮にあの虚血性変化が共同経営するとするとその腹壁は咬合性外傷だ fact14: 折れ易い物は共同経営する fact15: もし仮にこの出張が漏れ無いとしたらその国賊は漏れ無いということはない fact16: その国賊が貸与する一方でそれが卑しないならあの過暮れは貸与しない fact17: この零．一πＳＥＣは絶食療法でなくてしかもそれは卑しない fact18: もし何らかの物は共同経営しないとすれば「寝起きするし加えて不正利用しない」ということは成り立たない fact19: もしこの出張が絶食療法だとすればその国賊は漏れ無くない fact20: この零．一πＳＥＣは卑しない fact21: この排菌状況は漏れ無くない fact22: この零．一πＳＥＣは咬合性外傷でなくて更に漏れ無くない fact23: その足全体は数分前であるかそれは発生しないか両方ともだ fact24: もしもその足全体が発生するということはないとしたらこの出張は数分前でない
fact1 & fact10 -> int1: 「この零．一πＳＥＣは折れ易いけれど仕方無しない」ということは成り立たない; int1 & fact9 -> int2: この零．一πＳＥＣはＴ君である; fact5 & fact17 -> int3: この零．一πＳＥＣは貸与する; int2 & int3 -> int4: この零．一πＳＥＣは貸与するしそれにＴ君である; int4 & fact2 -> int5: この零．一πＳＥＣは不正利用しない; fact22 -> int6: 「この零．一πＳＥＣは咬合性外傷でない」ということは確かである; int5 & int6 -> hypothesis;
「あの通信簿は寝起きするけど不正利用しない」ということは成り立たない
fact25 -> int7: あの通信簿は共同経営しないならば「寝起きするし不正利用しない」ということは嘘だ;
$facts$ = fact1: 「共同経営しない」ものはある fact2: もしこの零．一πＳＥＣが貸与するしそれはＴ君であるならば不正利用しない fact3: この零．一πＳＥＣは多宝塔でないししかも破廉恥漢でないとすればそれは卑し fact4: もしもその足全体が数分前であるとすればこの出張は数分前だということはない fact5: もし仮にこの零．一πＳＥＣが絶食療法であるということはなくてそれが卑しないとすればそれは貸与する fact6: なにかは貸与しないとするとＴ君でないかあるいは仕方無しかまたは両方である fact7: もしもあの過暮れが折れ易いとするとあの虚血性変化は折れ易い fact8: 仮にとある物が数分前でないとすれば絶食療法であるかまたは漏れ無い fact9: 「この零．一πＳＥＣは折れ易いがそれは仕方無しない」ということは成り立たないならＴ君だ fact10: 「共同経営するということはない」ものはあるとすると「この零．一πＳＥＣは折れ易い一方でそれは仕方無しない」ということは誤っている fact11: もし仮にとある物が仕方無しとするとそれは折れ易い fact12: あのカリは不正利用するということはない fact13: 仮にあの虚血性変化が共同経営するとするとその腹壁は咬合性外傷だ fact14: 折れ易い物は共同経営する fact15: もし仮にこの出張が漏れ無いとしたらその国賊は漏れ無いということはない fact16: その国賊が貸与する一方でそれが卑しないならあの過暮れは貸与しない fact17: この零．一πＳＥＣは絶食療法でなくてしかもそれは卑しない fact18: もし何らかの物は共同経営しないとすれば「寝起きするし加えて不正利用しない」ということは成り立たない fact19: もしこの出張が絶食療法だとすればその国賊は漏れ無くない fact20: この零．一πＳＥＣは卑しない fact21: この排菌状況は漏れ無くない fact22: この零．一πＳＥＣは咬合性外傷でなくて更に漏れ無くない fact23: その足全体は数分前であるかそれは発生しないか両方ともだ fact24: もしもその足全体が発生するということはないとしたらこの出張は数分前でない ; $hypothesis$ = この零．一πＳＥＣは咬合性外傷でないしさらにそれは不正利用しない ; $proof$ = 
fact1 & fact10 -> int1: 「この零．一πＳＥＣは折れ易いけれど仕方無しない」ということは成り立たない; int1 & fact9 -> int2: この零．一πＳＥＣはＴ君である; fact5 & fact17 -> int3: この零．一πＳＥＣは貸与する; int2 & int3 -> int4: この零．一πＳＥＣは貸与するしそれにＴ君である; int4 & fact2 -> int5: この零．一πＳＥＣは不正利用しない; fact22 -> int6: 「この零．一πＳＥＣは咬合性外傷でない」ということは確かである; int5 & int6 -> hypothesis; __PROVED__
事実1: 「共同経営しない」ものはある
事実2: もしこの零．一πＳＥＣが貸与するしそれはＴ君であるならば不正利用しない
事実3: この零．一πＳＥＣは多宝塔でないししかも破廉恥漢でないとすればそれは卑し
事実4: もしもその足全体が数分前であるとすればこの出張は数分前だということはない
事実5: もし仮にこの零．一πＳＥＣが絶食療法であるということはなくてそれが卑しないとすればそれは貸与する
事実6: なにかは貸与しないとするとＴ君でないかあるいは仕方無しかまたは両方である
事実7: もしもあの過暮れが折れ易いとするとあの虚血性変化は折れ易い
事実8: 仮にとある物が数分前でないとすれば絶食療法であるかまたは漏れ無い
事実9: 「この零．一πＳＥＣは折れ易いがそれは仕方無しない」ということは成り立たないならＴ君だ
事実10: 「共同経営するということはない」ものはあるとすると「この零．一πＳＥＣは折れ易い一方でそれは仕方無しない」ということは誤っている
事実11: もし仮にとある物が仕方無しとするとそれは折れ易い
事実12: あのカリは不正利用するということはない
事実13: 仮にあの虚血性変化が共同経営するとするとその腹壁は咬合性外傷だ
事実14: 折れ易い物は共同経営する
事実15: もし仮にこの出張が漏れ無いとしたらその国賊は漏れ無いということはない
事実16: その国賊が貸与する一方でそれが卑しないならあの過暮れは貸与しない
事実17: この零．一πＳＥＣは絶食療法でなくてしかもそれは卑しない
事実18: もし何らかの物は共同経営しないとすれば「寝起きするし加えて不正利用しない」ということは成り立たない
事実19: もしこの出張が絶食療法だとすればその国賊は漏れ無くない
事実20: この零．一πＳＥＣは卑しない
事実21: この排菌状況は漏れ無くない
事実22: この零．一πＳＥＣは咬合性外傷でなくて更に漏れ無くない
事実23: その足全体は数分前であるかそれは発生しないか両方ともだ
事実24: もしもその足全体が発生するということはないとしたらこの出張は数分前でない

仮説: この零．一πＳＥＣは咬合性外傷でないしさらにそれは不正利用しない
1. 事実1と事実10から、推論1: "「この零．一πＳＥＣは折れ易いけれど仕方無しない」ということは成り立たない"が導かれる
2. 推論1と事実9から、推論2: "この零．一πＳＥＣはＴ君である"が導かれる
3. 事実5と事実17から、推論3: "この零．一πＳＥＣは貸与する"が導かれる
4. 推論2と推論3から、推論4: "この零．一πＳＥＣは貸与するしそれにＴ君である"が導かれる
5. 推論4と事実2から、推論5: "この零．一πＳＥＣは不正利用しない"が導かれる
6. 事実22から、推論6: "「この零．一πＳＥＣは咬合性外傷でない」ということは確かである"が導かれる
7. 推論5と推論6から、仮説が導かれる

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