「あの大根踊りは戯作者だし更に体罰発生時だ」ということは嘘である
fact1: とある物が燎原でないならそれは吸収するしそれはトランスでない fact2: 読み辛くて賢しというものはない fact3: 消化し難いトランスはない fact4: もし「あの大根踊りは諾成契約でなくて体罰発生時でない」ということは事実と異なるとしたら「それは体罰発生時だ」ということは成り立つ fact5: その拡大路線が戯作者ならばあの大根踊りは戯作者だ fact6: 仮に「覚え難い」ものがあればこの目出し帽は燎原でないかもしくは冗談ぽくないかまたはどちらもである fact7: 何らかの物は燎原であるとすればそれはトランスであるけど吸収しない fact8: もしもなにかは吸収するとすれば戯作者である fact9: あの船所は覚え難い fact10: それは戯作者であるしそれにそれは体罰発生時であるというものはない fact11: もしもなにがしかの物が燎原でないかあるいは冗談ぽくないかまたはどちらもだとしたらその拡大路線は燎原でない fact12: もしなにがしかの物は吸収しないとすると「それは膀胱癌患者で湯通しする」ということは成り立たない
fact10 -> hypothesis;
fact10 -> hypothesis;
あの大根踊りは戯作者であるしさらに体罰発生時だ
fact14 -> int1: その拡大路線が吸収するとすると戯作者である; fact18 -> int2: もし仮にその拡大路線は燎原でないなら吸収するけれどトランスでない; fact13 -> int3: なんらかの物は覚え難い; int3 & fact17 -> int4: この目出し帽は燎原であるということはないかもしくはそれは冗談ぽくないかあるいはどちらもである; int4 -> int5: 「燎原でないか冗談ぽくないかあるいは両方ともな」物はある; int5 & fact15 -> int6: その拡大路線は燎原であるということはない; int2 & int6 -> int7: その拡大路線は吸収するがしかしトランスでない; int7 -> int8: 「その拡大路線は吸収する」ということは成り立つ; int1 & int8 -> int9: 「その拡大路線は戯作者だ」ということは確かである; fact16 & int9 -> int10: 「あの大根踊りは戯作者だ」ということは成り立つ;
$facts$ = fact1: とある物が燎原でないならそれは吸収するしそれはトランスでない fact2: 読み辛くて賢しというものはない fact3: 消化し難いトランスはない fact4: もし「あの大根踊りは諾成契約でなくて体罰発生時でない」ということは事実と異なるとしたら「それは体罰発生時だ」ということは成り立つ fact5: その拡大路線が戯作者ならばあの大根踊りは戯作者だ fact6: 仮に「覚え難い」ものがあればこの目出し帽は燎原でないかもしくは冗談ぽくないかまたはどちらもである fact7: 何らかの物は燎原であるとすればそれはトランスであるけど吸収しない fact8: もしもなにかは吸収するとすれば戯作者である fact9: あの船所は覚え難い fact10: それは戯作者であるしそれにそれは体罰発生時であるというものはない fact11: もしもなにがしかの物が燎原でないかあるいは冗談ぽくないかまたはどちらもだとしたらその拡大路線は燎原でない fact12: もしなにがしかの物は吸収しないとすると「それは膀胱癌患者で湯通しする」ということは成り立たない ; $hypothesis$ = 「あの大根踊りは戯作者だし更に体罰発生時だ」ということは嘘である ; $proof$ = 
fact10 -> hypothesis; __PROVED__
事実1: とある物が燎原でないならそれは吸収するしそれはトランスでない
事実2: 読み辛くて賢しというものはない
事実3: 消化し難いトランスはない
事実4: もし「あの大根踊りは諾成契約でなくて体罰発生時でない」ということは事実と異なるとしたら「それは体罰発生時だ」ということは成り立つ
事実5: その拡大路線が戯作者ならばあの大根踊りは戯作者だ
事実6: 仮に「覚え難い」ものがあればこの目出し帽は燎原でないかもしくは冗談ぽくないかまたはどちらもである
事実7: 何らかの物は燎原であるとすればそれはトランスであるけど吸収しない
事実8: もしもなにかは吸収するとすれば戯作者である
事実9: あの船所は覚え難い
事実10: それは戯作者であるしそれにそれは体罰発生時であるというものはない
事実11: もしもなにがしかの物が燎原でないかあるいは冗談ぽくないかまたはどちらもだとしたらその拡大路線は燎原でない
事実12: もしなにがしかの物は吸収しないとすると「それは膀胱癌患者で湯通しする」ということは成り立たない

仮説: 「あの大根踊りは戯作者だし更に体罰発生時だ」ということは嘘である
1. 事実10から、仮説が導かれる

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