あの石裏は持ち得る
fact1: あの石裏は総合立地計画で持ち得る fact2: その学年末は仰々しくないが曲毎である fact3: もしも「薄暗い」ものがあればこのブラザーは罹患し易い fact4: もしあの契約類型が険しい一方でそれが持ち得ないとすればあの石裏は持ち得ない fact5: もし仮にこの低料金がテロ戦争ならこのＳＪは罹患し易い fact6: 「薄暗い」物はある fact7: すべてのものは険しかなくてそれにテロ戦争でない fact8: 区内は変更するということはない fact9: 「この変性蛋白質は総合立地計画でないしまた薄暗くない」ということは事実であるならあの契約類型は総合立地計画だ fact10: もしなにかは変更しないとすればそれはテロ戦争であるかまたは罹患し易いか両方である fact11: もしこのＳＪが罹患し易いとしたらこの変性蛋白質は総合立地計画でなくてしかもそれは薄暗くない fact12: 仮に「有形・無形でない」物があればこの低料金は子供っぽくておまけに区内だ fact13: 「その学年末は仰々しくないけれど曲毎だ」ということは正しいならばその大小便は有形・無形であるということはない fact14: 罹患し易いものは見境無い
fact1 -> hypothesis;
fact1 -> hypothesis;
あの石裏は持ち得ない
fact16 -> int1: もしもこの低料金が変更しないならそれはテロ戦争であるかまたは罹患し易いかどちらもだ; fact17 -> int2: もし「この低料金は区内である」ということは成り立てばそれは変更しない; fact15 & fact23 -> int3: その大小便は有形・無形でない; int3 -> int4: なにがしかのものは有形・無形でない; int4 & fact20 -> int5: 「この低料金は子供っぽくてかつ区内だ」ということは成り立つ; int5 -> int6: この低料金は区内だ; int2 & int6 -> int7: この低料金は変更しない; int1 & int7 -> int8: この低料金はテロ戦争であるかあるいはそれは罹患し易いかもしくは両方ともだ;
$facts$ = fact1: あの石裏は総合立地計画で持ち得る fact2: その学年末は仰々しくないが曲毎である fact3: もしも「薄暗い」ものがあればこのブラザーは罹患し易い fact4: もしあの契約類型が険しい一方でそれが持ち得ないとすればあの石裏は持ち得ない fact5: もし仮にこの低料金がテロ戦争ならこのＳＪは罹患し易い fact6: 「薄暗い」物はある fact7: すべてのものは険しかなくてそれにテロ戦争でない fact8: 区内は変更するということはない fact9: 「この変性蛋白質は総合立地計画でないしまた薄暗くない」ということは事実であるならあの契約類型は総合立地計画だ fact10: もしなにかは変更しないとすればそれはテロ戦争であるかまたは罹患し易いか両方である fact11: もしこのＳＪが罹患し易いとしたらこの変性蛋白質は総合立地計画でなくてしかもそれは薄暗くない fact12: 仮に「有形・無形でない」物があればこの低料金は子供っぽくておまけに区内だ fact13: 「その学年末は仰々しくないけれど曲毎だ」ということは正しいならばその大小便は有形・無形であるということはない fact14: 罹患し易いものは見境無い ; $hypothesis$ = あの石裏は持ち得る ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: あの石裏は総合立地計画で持ち得る
事実2: その学年末は仰々しくないが曲毎である
事実3: もしも「薄暗い」ものがあればこのブラザーは罹患し易い
事実4: もしあの契約類型が険しい一方でそれが持ち得ないとすればあの石裏は持ち得ない
事実5: もし仮にこの低料金がテロ戦争ならこのＳＪは罹患し易い
事実6: 「薄暗い」物はある
事実7: すべてのものは険しかなくてそれにテロ戦争でない
事実8: 区内は変更するということはない
事実9: 「この変性蛋白質は総合立地計画でないしまた薄暗くない」ということは事実であるならあの契約類型は総合立地計画だ
事実10: もしなにかは変更しないとすればそれはテロ戦争であるかまたは罹患し易いか両方である
事実11: もしこのＳＪが罹患し易いとしたらこの変性蛋白質は総合立地計画でなくてしかもそれは薄暗くない
事実12: 仮に「有形・無形でない」物があればこの低料金は子供っぽくておまけに区内だ
事実13: 「その学年末は仰々しくないけれど曲毎だ」ということは正しいならばその大小便は有形・無形であるということはない
事実14: 罹患し易いものは見境無い

仮説: あの石裏は持ち得る
1. 事実1から、仮説が導かれる

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