この庭前は聖別する
fact1: もし「何かは寄る辺無いということはないけど細長い」ということは嘘であるとするとそれは聖別するということはない fact2: 「あの投げ売りは聖別するがそれは細長くない」ということは事実と異なるとしたらこの敵対行為は細長くない fact3: この庭前は採尿するか胸苦しい fact4: もしもこの鏡像対称性が瑞々しくないとすればそれは武者行列だ fact5: 「この敵対行為が細長くないならこの庭前は無人地帯であるかあるいは瑞々しくない」ということは成り立つ fact6: この庭前は胸苦しいかそれはしゃあ無くないかまたはどちらもだ fact7: あの休止は機根であるかもしくは聖別する fact8: もし仮に「この庭前は瑞々しくない」ということは成り立つとすれば聖別する fact9: もしもなんらかの物がセットするならそれはやくざっぽくなくてしかもそれは寄る辺無い fact10: もしなにがしかのものはやくざっぽいとすると「寄る辺無いということはないしその上それは細長い」ということは偽だ fact11: この庭前は胸苦しいかあるいはそれは瑞々しくないかまたは両方ともである fact12: もし仮にこの庭前が胸苦しいかそれが瑞々しくないならば聖別する
fact12 & fact11 -> hypothesis;
fact12 & fact11 -> hypothesis;
この庭前は無人地帯であるかあるいは瑞々しくないかあるいは両方である
fact13 -> int1: もしもその地理的空間がセットするとするとそれはやくざっぽくないし寄る辺無い;
$facts$ = fact1: もし「何かは寄る辺無いということはないけど細長い」ということは嘘であるとするとそれは聖別するということはない fact2: 「あの投げ売りは聖別するがそれは細長くない」ということは事実と異なるとしたらこの敵対行為は細長くない fact3: この庭前は採尿するか胸苦しい fact4: もしもこの鏡像対称性が瑞々しくないとすればそれは武者行列だ fact5: 「この敵対行為が細長くないならこの庭前は無人地帯であるかあるいは瑞々しくない」ということは成り立つ fact6: この庭前は胸苦しいかそれはしゃあ無くないかまたはどちらもだ fact7: あの休止は機根であるかもしくは聖別する fact8: もし仮に「この庭前は瑞々しくない」ということは成り立つとすれば聖別する fact9: もしもなんらかの物がセットするならそれはやくざっぽくなくてしかもそれは寄る辺無い fact10: もしなにがしかのものはやくざっぽいとすると「寄る辺無いということはないしその上それは細長い」ということは偽だ fact11: この庭前は胸苦しいかあるいはそれは瑞々しくないかまたは両方ともである fact12: もし仮にこの庭前が胸苦しいかそれが瑞々しくないならば聖別する ; $hypothesis$ = この庭前は聖別する ; $proof$ = 
fact12 & fact11 -> hypothesis; __PROVED__
事実1: もし「何かは寄る辺無いということはないけど細長い」ということは嘘であるとするとそれは聖別するということはない
事実2: 「あの投げ売りは聖別するがそれは細長くない」ということは事実と異なるとしたらこの敵対行為は細長くない
事実3: この庭前は採尿するか胸苦しい
事実4: もしもこの鏡像対称性が瑞々しくないとすればそれは武者行列だ
事実5: 「この敵対行為が細長くないならこの庭前は無人地帯であるかあるいは瑞々しくない」ということは成り立つ
事実6: この庭前は胸苦しいかそれはしゃあ無くないかまたはどちらもだ
事実7: あの休止は機根であるかもしくは聖別する
事実8: もし仮に「この庭前は瑞々しくない」ということは成り立つとすれば聖別する
事実9: もしもなんらかの物がセットするならそれはやくざっぽくなくてしかもそれは寄る辺無い
事実10: もしなにがしかのものはやくざっぽいとすると「寄る辺無いということはないしその上それは細長い」ということは偽だ
事実11: この庭前は胸苦しいかあるいはそれは瑞々しくないかまたは両方ともである
事実12: もし仮にこの庭前が胸苦しいかそれが瑞々しくないならば聖別する

仮説: この庭前は聖別する
1. 事実12と事実11から、仮説が導かれる

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