この社会常識は両親指であるしそれは総括する
fact1: 仮にこの社会常識が気まずくないかまたは苛め撃退マニュアルでないかもしくは両方ならば両親指だ fact2: 仮にあの小旅行が程良くないかそれが総括しないならばそれはα同志だ fact3: この社会常識は総括しないかそれはぱくつくかもしくは両方である fact4: 「この社会常識が疲労し易いしその上即する」ということは真実である fact5: この約定は侘しいということはないかあるいはそれは両親指でないか両方ともである fact6: この社会常識が久しいしその上それは誘発し易い fact7: もし仮にこの爺っが診断出来ないかそれは遠征しないかもしくはどちらもだとすれば危険情報である fact8: もしもこの社会常識は苛め撃退マニュアルでないならそれは両親指である fact9: この社会常識は総括するしそれは起こり易い fact10: この社会常識は長方形Ａであるししかもそれは苛め撃退マニュアルである fact11: この社会常識は気まずくないかあるいはそれは苛め撃退マニュアルでないかまたは両方だ fact12: この社会常識はらっしゃるかあるいは根本的利益でないか両方である
fact1 & fact11 -> int1: この社会常識は両親指だ; fact9 -> int2: この社会常識は総括する; int1 & int2 -> hypothesis;
$facts$ = fact1: 仮にこの社会常識が気まずくないかまたは苛め撃退マニュアルでないかもしくは両方ならば両親指だ fact2: 仮にあの小旅行が程良くないかそれが総括しないならばそれはα同志だ fact3: この社会常識は総括しないかそれはぱくつくかもしくは両方である fact4: 「この社会常識が疲労し易いしその上即する」ということは真実である fact5: この約定は侘しいということはないかあるいはそれは両親指でないか両方ともである fact6: この社会常識が久しいしその上それは誘発し易い fact7: もし仮にこの爺っが診断出来ないかそれは遠征しないかもしくはどちらもだとすれば危険情報である fact8: もしもこの社会常識は苛め撃退マニュアルでないならそれは両親指である fact9: この社会常識は総括するしそれは起こり易い fact10: この社会常識は長方形Ａであるししかもそれは苛め撃退マニュアルである fact11: この社会常識は気まずくないかあるいはそれは苛め撃退マニュアルでないかまたは両方だ fact12: この社会常識はらっしゃるかあるいは根本的利益でないか両方である ; $hypothesis$ = この社会常識は両親指であるしそれは総括する ; $proof$ = 
fact1 & fact11 -> int1: この社会常識は両親指だ; fact9 -> int2: この社会常識は総括する; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にこの社会常識が気まずくないかまたは苛め撃退マニュアルでないかもしくは両方ならば両親指だ
事実2: 仮にあの小旅行が程良くないかそれが総括しないならばそれはα同志だ
事実3: この社会常識は総括しないかそれはぱくつくかもしくは両方である
事実4: 「この社会常識が疲労し易いしその上即する」ということは真実である
事実5: この約定は侘しいということはないかあるいはそれは両親指でないか両方ともである
事実6: この社会常識が久しいしその上それは誘発し易い
事実7: もし仮にこの爺っが診断出来ないかそれは遠征しないかもしくはどちらもだとすれば危険情報である
事実8: もしもこの社会常識は苛め撃退マニュアルでないならそれは両親指である
事実9: この社会常識は総括するしそれは起こり易い
事実10: この社会常識は長方形Ａであるししかもそれは苛め撃退マニュアルである
事実11: この社会常識は気まずくないかあるいはそれは苛め撃退マニュアルでないかまたは両方だ
事実12: この社会常識はらっしゃるかあるいは根本的利益でないか両方である

仮説: この社会常識は両親指であるしそれは総括する
1. 事実1と事実11から、推論1: "この社会常識は両親指だ"が導かれる
2. 事実9から、推論2: "この社会常識は総括する"が導かれる
3. 推論1と推論2から、仮説が導かれる

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