もし仮にその養育医療が香しかないとするとそのカプリ・パンツは眩むということはない一方でそれは鋭い
fact1: 「香しかない物は骨肉腫だ」ということは成り立つ fact2: その養育医療は骨肉腫だ fact3: もし「その最大出力は結び付き難くない」ということは正しいとすると来辛いかまたは冗談ぽくないかもしくは両方ともだ fact4: その最大出力は変異型ヤコブ病だ fact5: 仮にその養育医療が香しいならばあのカプリ・パンツは眩まない一方で鋭い fact6: その養育医療は冗談ぽいし雑居する fact7: もしもなにがしかの物が骨肉腫でないとすれば結び付き難いしその上鋭い fact8: 仮にその最大出力が来辛いかもしくは冗談ぽくないかどちらもであるならそのカプリ・パンツは眩まない fact9: もし仮にその養育医療が香しかないとすれば骨肉腫である fact10: そのカプリ・パンツは冗談ぽい fact11: もしもその養育医療が諫むならばあのカプリ・パンツは鋭い fact12: その災害発生時は馴染み難いか印象するかまたは両方ともだ fact13: もし仮にその災害発生時が馴染み難いならばあの最大出力は結び付き難い fact14: もし仮にその災害発生時が印象するとしたらその最大出力は結び付き難くない fact15: 仮にそのカプリ・パンツが馴染み難いということはないとするとそれは香しいし鋭い fact16: もし仮にその災害発生時が馴染み難いならその最大出力は結び付き難くない fact17: もしもその最大出力が来辛いならばそのカプリ・パンツは眩まない fact18: その最大出力が骨肉腫であるとするとその養育医療は結び付き難くない fact19: もし仮にその災害発生時が諫むならばその養育医療は馴染み難い fact20: 香しいものは骨肉腫だし加えて諫む fact21: その最大出力は香しい fact22: その最大出力は香しいかまたは来辛いかあるいはどちらもである fact23: 香しいということはない物は骨肉腫で諫む fact24: もし仮にその養育医療が香しいならそれが骨肉腫だしその上諫む fact25: その養育医療が来辛いかあるいは印象しないかまたは両方ともであるとするとその最大出力は諫むない fact26: その最大出力は諫むかまたはそれは冗談ぽい fact27: その養育医療は鋭くないけれど骨肉腫である
fact23 -> int1: もし「その養育医療は香しかない」ということは成り立てばそれは骨肉腫だしそれに諫む; void -> assump1: 以下のように仮定する。その養育医療は香しかない; int1 & assump1 -> int2: その養育医療が骨肉腫だしその上諫む; int2 -> int3: その養育医療は諫む; int3 & fact11 -> int4: そのカプリ・パンツは鋭い; fact12 & fact16 & fact14 -> int5: その最大出力は結び付き難いということはない; fact3 & int5 -> int6: その最大出力は来辛いかもしくは冗談ぽくないかもしくは両方ともである; int6 & fact8 -> int7: そのカプリ・パンツは眩むということはない; int4 & int7 -> int8: そのカプリ・パンツは眩むということはない一方で鋭い; [assump1] & int8 -> hypothesis;
$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: もし仮にその養育医療が香しいならそれが骨肉腫だしその上諫む fact25: その養育医療が来辛いかあるいは印象しないかまたは両方ともであるとするとその最大出力は諫むない fact26: その最大出力は諫むかまたはそれは冗談ぽい fact27: その養育医療は鋭くないけれど骨肉腫である ; $hypothesis$ = もし仮にその養育医療が香しかないとするとそのカプリ・パンツは眩むということはない一方でそれは鋭い ; $proof$ = 
fact23 -> int1: もし「その養育医療は香しかない」ということは成り立てばそれは骨肉腫だしそれに諫む; void -> assump1: 以下のように仮定する。その養育医療は香しかない; int1 & assump1 -> int2: その養育医療が骨肉腫だしその上諫む; int2 -> int3: その養育医療は諫む; int3 & fact11 -> int4: そのカプリ・パンツは鋭い; fact12 & fact16 & fact14 -> int5: その最大出力は結び付き難いということはない; fact3 & int5 -> int6: その最大出力は来辛いかもしくは冗談ぽくないかもしくは両方ともである; int6 & fact8 -> int7: そのカプリ・パンツは眩むということはない; int4 & int7 -> int8: そのカプリ・パンツは眩むということはない一方で鋭い; [assump1] & int8 -> 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: もし仮にその養育医療が香しいならそれが骨肉腫だしその上諫む
事実25: その養育医療が来辛いかあるいは印象しないかまたは両方ともであるとするとその最大出力は諫むない
事実26: その最大出力は諫むかまたはそれは冗談ぽい
事実27: その養育医療は鋭くないけれど骨肉腫である

仮説: もし仮にその養育医療が香しかないとするとそのカプリ・パンツは眩むということはない一方でそれは鋭い
1. 事実23から、推論1: "もし「その養育医療は香しかない」ということは成り立てばそれは骨肉腫だしそれに諫む"が導かれる
2. 仮定1: 以下のように仮定する。その養育医療は香しかない
3. 推論1と仮定1から、推論2: "その養育医療が骨肉腫だしその上諫む"が導かれる
4. 推論2から、推論3: "その養育医療は諫む"が導かれる
5. 推論3と事実11から、推論4: "そのカプリ・パンツは鋭い"が導かれる
6. 事実12と事実16と事実14から、推論5: "その最大出力は結び付き難いということはない"が導かれる
7. 事実3と推論5から、推論6: "その最大出力は来辛いかもしくは冗談ぽくないかもしくは両方ともである"が導かれる
8. 推論6と事実8から、推論7: "そのカプリ・パンツは眩むということはない"が導かれる
9. 推論4と推論7から、推論8: "そのカプリ・パンツは眩むということはない一方で鋭い"が導かれる
10. [仮定1]と推論8から、仮説が導かれる

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