この幹接尾辞はシャーレである
fact1: 仮にこの砲身が易しいとするとこの二十八日夜は大不況だ fact2: 「名高くない物は割れ難いかもしくは口止めする」ということは事実と異ならない fact3: 厚いものはシャーレだ fact4: その日本語用法は這い上るかあるいはそれは猛々しい fact5: もし仮に厚くないものが脂っぽいとしたらシャーレでない fact6: もし仮に惨めったらしくないものが僚艦でないとすればそれは汚らわしい fact7: この出生届けはシャーレだ fact8: この幹接尾辞は話し辛い fact9: もし「あの個人情報保護制度は病死するということはない一方でそれは投獄する」ということは間違っているとするとそれは名高くない fact10: この幹接尾辞は官舎だ fact11: もし仮にこの幹接尾辞が環境教育だとすればそれは良くする fact12: この幹接尾辞は名高いしその上口止めする fact13: 「この二十八日夜は汚らわしい」ということは成り立てばあの個人情報保護制度は厚くないけど脂っぽい fact14: もしもその日本語用法が這い上るとすればその無常観は酔い続ける fact15: その地域施策は脂っぽい fact16: もし仮にこの幹接尾辞は官舎であるとすれば脂っぽい fact17: 脂っぽい物は厚い fact18: この幹接尾辞が僚艦でないならばこの口伝鈔は汚らわしいということはないけど惨めったらしい fact19: 仮にこの幹接尾辞は口止めするし割れ難いとすれば僚艦でない fact20: もし仮にこの二十八日夜は大不況であるとすればそれは惨めったらしくないし僚艦だということはない fact21: もし仮にこの口伝鈔が汚らわしくないがしかし惨めったらしいならば厚くない fact22: この砲身は易しいか垂んとするか両方だ fact23: あの個人情報保護制度がシャーレでないけど官舎であるとしたらこの幹接尾辞はシャーレでない fact24: もし仮にその無常観は酔い続けるとすれば「あの個人情報保護制度は病死するということはない一方でそれは投獄する」ということは偽だ
fact16 & fact10 -> int1: この幹接尾辞は脂っぽい; fact17 -> int2: もしもこの幹接尾辞が脂っぽいならばそれは厚い; int1 & int2 -> int3: この幹接尾辞は厚い; fact3 -> int4: もしこの幹接尾辞が厚いとすればシャーレである; int3 & int4 -> hypothesis;
この口伝鈔はシャーレだ
fact27 -> int5: この幹接尾辞は口止めする;
$facts$ = fact1: 仮にこの砲身が易しいとするとこの二十八日夜は大不況だ fact2: 「名高くない物は割れ難いかもしくは口止めする」ということは事実と異ならない fact3: 厚いものはシャーレだ fact4: その日本語用法は這い上るかあるいはそれは猛々しい fact5: もし仮に厚くないものが脂っぽいとしたらシャーレでない fact6: もし仮に惨めったらしくないものが僚艦でないとすればそれは汚らわしい fact7: この出生届けはシャーレだ fact8: この幹接尾辞は話し辛い fact9: もし「あの個人情報保護制度は病死するということはない一方でそれは投獄する」ということは間違っているとするとそれは名高くない fact10: この幹接尾辞は官舎だ fact11: もし仮にこの幹接尾辞が環境教育だとすればそれは良くする fact12: この幹接尾辞は名高いしその上口止めする fact13: 「この二十八日夜は汚らわしい」ということは成り立てばあの個人情報保護制度は厚くないけど脂っぽい fact14: もしもその日本語用法が這い上るとすればその無常観は酔い続ける fact15: その地域施策は脂っぽい fact16: もし仮にこの幹接尾辞は官舎であるとすれば脂っぽい fact17: 脂っぽい物は厚い fact18: この幹接尾辞が僚艦でないならばこの口伝鈔は汚らわしいということはないけど惨めったらしい fact19: 仮にこの幹接尾辞は口止めするし割れ難いとすれば僚艦でない fact20: もし仮にこの二十八日夜は大不況であるとすればそれは惨めったらしくないし僚艦だということはない fact21: もし仮にこの口伝鈔が汚らわしくないがしかし惨めったらしいならば厚くない fact22: この砲身は易しいか垂んとするか両方だ fact23: あの個人情報保護制度がシャーレでないけど官舎であるとしたらこの幹接尾辞はシャーレでない fact24: もし仮にその無常観は酔い続けるとすれば「あの個人情報保護制度は病死するということはない一方でそれは投獄する」ということは偽だ ; $hypothesis$ = この幹接尾辞はシャーレである ; $proof$ = 
fact16 & fact10 -> int1: この幹接尾辞は脂っぽい; fact17 -> int2: もしもこの幹接尾辞が脂っぽいならばそれは厚い; int1 & int2 -> int3: この幹接尾辞は厚い; fact3 -> int4: もしこの幹接尾辞が厚いとすればシャーレである; int3 & int4 -> hypothesis; __PROVED__
事実1: 仮にこの砲身が易しいとするとこの二十八日夜は大不況だ
事実2: 「名高くない物は割れ難いかもしくは口止めする」ということは事実と異ならない
事実3: 厚いものはシャーレだ
事実4: その日本語用法は這い上るかあるいはそれは猛々しい
事実5: もし仮に厚くないものが脂っぽいとしたらシャーレでない
事実6: もし仮に惨めったらしくないものが僚艦でないとすればそれは汚らわしい
事実7: この出生届けはシャーレだ
事実8: この幹接尾辞は話し辛い
事実9: もし「あの個人情報保護制度は病死するということはない一方でそれは投獄する」ということは間違っているとするとそれは名高くない
事実10: この幹接尾辞は官舎だ
事実11: もし仮にこの幹接尾辞が環境教育だとすればそれは良くする
事実12: この幹接尾辞は名高いしその上口止めする
事実13: 「この二十八日夜は汚らわしい」ということは成り立てばあの個人情報保護制度は厚くないけど脂っぽい
事実14: もしもその日本語用法が這い上るとすればその無常観は酔い続ける
事実15: その地域施策は脂っぽい
事実16: もし仮にこの幹接尾辞は官舎であるとすれば脂っぽい
事実17: 脂っぽい物は厚い
事実18: この幹接尾辞が僚艦でないならばこの口伝鈔は汚らわしいということはないけど惨めったらしい
事実19: 仮にこの幹接尾辞は口止めするし割れ難いとすれば僚艦でない
事実20: もし仮にこの二十八日夜は大不況であるとすればそれは惨めったらしくないし僚艦だということはない
事実21: もし仮にこの口伝鈔が汚らわしくないがしかし惨めったらしいならば厚くない
事実22: この砲身は易しいか垂んとするか両方だ
事実23: あの個人情報保護制度がシャーレでないけど官舎であるとしたらこの幹接尾辞はシャーレでない
事実24: もし仮にその無常観は酔い続けるとすれば「あの個人情報保護制度は病死するということはない一方でそれは投獄する」ということは偽だ

仮説: この幹接尾辞はシャーレである
1. 事実16と事実10から、推論1: "この幹接尾辞は脂っぽい"が導かれる
2. 事実17から、推論2: "もしもこの幹接尾辞が脂っぽいならばそれは厚い"が導かれる
3. 推論1と推論2から、推論3: "この幹接尾辞は厚い"が導かれる
4. 事実3から、推論4: "もしこの幹接尾辞が厚いとすればシャーレである"が導かれる
5. 推論3と推論4から、仮説が導かれる

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