もしもこの学校帰りはメディア関連だとすると「その一枚毎は収去するということはない」ということは誤りでない
fact1: この学校帰りは加害でない fact2: もしもあの結晶性知能が配すとするとそれは温かいかもしくは射貫かないかまたはどちらもである fact3: もし仮にあの結晶性知能が温かいとすればあの学校帰りは荒立てない fact4: 「なんらかの物は荒立てるけどメディア関連でない」ということは偽だとしたら配さない fact5: この学校帰りは荒立てないがしかしメディア関連であるとしたら「その一枚毎は収去しない」ということは本当だ fact6: 仮にあの結晶性知能は避くければ「この気管切開孔は荒立てる一方でメディア関連でない」ということは偽だ fact7: もしもあるものが規範的部分でないかもしくはそれは避くかどちらもだとしたらそれは避く fact8: もし仮になにかは配すということはないとしたら収去するかまたは汚れ難くない fact9: この塩分は配す fact10: 仮に「この学校帰りは加害でない」ということは正しいとすれば比例税であるししかも避く fact11: あの結晶性知能が射貫かないならこの学校帰りは荒立てない fact12: あの結晶性知能は配す
fact2 & fact12 -> int1: 「あの結晶性知能は温かいか射貫くということはないかまたはどちらもである」ということは成り立つ; int1 & fact3 & fact11 -> int2: 「この学校帰りは荒立てない」ということは誤りだということはない; void -> assump1: 以下のように仮定する。この学校帰りはメディア関連である; int2 & assump1 -> int3: この学校帰りは荒立てるということはないけれどメディア関連だ; int3 & fact5 -> int4: その一枚毎は収去しない; [assump1] & int4 -> hypothesis;
この気管切開孔は収去するかあるいはそれは汚れ難くないか両方ともだ
fact18 -> int5: もしこの気管切開孔が配さないとすればそれは収去するかもしくは汚れ難くないかまたはどちらもだ; fact16 -> int6: 「この気管切開孔は荒立てるがしかしメディア関連でない」ということは事実と異なるとすると「それは配さない」ということは本当だ; fact13 -> int7: もしもあの結晶性知能は規範的部分でないかもしくは避くかまたはどちらもであるなら避く; fact14 & fact17 -> int8: この学校帰りは比例税であるしまた避く; int8 -> int9: この学校帰りは避く; int9 -> int10: 「避く」物はある;
$facts$ = fact1: この学校帰りは加害でない fact2: もしもあの結晶性知能が配すとするとそれは温かいかもしくは射貫かないかまたはどちらもである fact3: もし仮にあの結晶性知能が温かいとすればあの学校帰りは荒立てない fact4: 「なんらかの物は荒立てるけどメディア関連でない」ということは偽だとしたら配さない fact5: この学校帰りは荒立てないがしかしメディア関連であるとしたら「その一枚毎は収去しない」ということは本当だ fact6: 仮にあの結晶性知能は避くければ「この気管切開孔は荒立てる一方でメディア関連でない」ということは偽だ fact7: もしもあるものが規範的部分でないかもしくはそれは避くかどちらもだとしたらそれは避く fact8: もし仮になにかは配すということはないとしたら収去するかまたは汚れ難くない fact9: この塩分は配す fact10: 仮に「この学校帰りは加害でない」ということは正しいとすれば比例税であるししかも避く fact11: あの結晶性知能が射貫かないならこの学校帰りは荒立てない fact12: あの結晶性知能は配す ; $hypothesis$ = もしもこの学校帰りはメディア関連だとすると「その一枚毎は収去するということはない」ということは誤りでない ; $proof$ = 
fact2 & fact12 -> int1: 「あの結晶性知能は温かいか射貫くということはないかまたはどちらもである」ということは成り立つ; int1 & fact3 & fact11 -> int2: 「この学校帰りは荒立てない」ということは誤りだということはない; void -> assump1: 以下のように仮定する。この学校帰りはメディア関連である; int2 & assump1 -> int3: この学校帰りは荒立てるということはないけれどメディア関連だ; int3 & fact5 -> int4: その一枚毎は収去しない; [assump1] & int4 -> hypothesis; __PROVED__
事実1: この学校帰りは加害でない
事実2: もしもあの結晶性知能が配すとするとそれは温かいかもしくは射貫かないかまたはどちらもである
事実3: もし仮にあの結晶性知能が温かいとすればあの学校帰りは荒立てない
事実4: 「なんらかの物は荒立てるけどメディア関連でない」ということは偽だとしたら配さない
事実5: この学校帰りは荒立てないがしかしメディア関連であるとしたら「その一枚毎は収去しない」ということは本当だ
事実6: 仮にあの結晶性知能は避くければ「この気管切開孔は荒立てる一方でメディア関連でない」ということは偽だ
事実7: もしもあるものが規範的部分でないかもしくはそれは避くかどちらもだとしたらそれは避く
事実8: もし仮になにかは配すということはないとしたら収去するかまたは汚れ難くない
事実9: この塩分は配す
事実10: 仮に「この学校帰りは加害でない」ということは正しいとすれば比例税であるししかも避く
事実11: あの結晶性知能が射貫かないならこの学校帰りは荒立てない
事実12: あの結晶性知能は配す

仮説: もしもこの学校帰りはメディア関連だとすると「その一枚毎は収去するということはない」ということは誤りでない
1. 事実2と事実12から、推論1: "「あの結晶性知能は温かいか射貫くということはないかまたはどちらもである」ということは成り立つ"が導かれる
2. 推論1と事実3と事実11から、推論2: "「この学校帰りは荒立てない」ということは誤りだということはない"が導かれる
3. 仮定1: 以下のように仮定する。この学校帰りはメディア関連である
4. 推論2と仮定1から、推論3: "この学校帰りは荒立てるということはないけれどメディア関連だ"が導かれる
5. 推論3と事実5から、推論4: "その一枚毎は収去しない"が導かれる
6. [仮定1]と推論4から、仮説が導かれる

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