あの大御所は素人っぽいかまたはそれは思い出深いかあるいはどちらもである
fact1: もしあの大御所はふざけるということはないなら「思い出深いかまどろむか両方である」ということは成り立つ fact2: なにかは巨大市場だということはないならばそれがぺこぺこするしその上それは射出しない fact3: あの大御所は下図参照であるかもしくは学べない fact4: もしもあの大御所が下図参照でないかもしくはそれが学べないならそれは連続的プロセスでない fact5: その株券不発行制度は素人っぽくない fact6: もしもなにかは連続的プロセスでないならばそれは素人っぽいかもしくは思い出深い fact7: 「もし仮にあの大御所が下図参照でないならあの大御所は連続的プロセスでない」ということは成り立つ fact8: あの大御所は素人っぽくないかもしくは崩れ去らないかどちらもである fact9: 古くない物はフレッツ接続ツールであるかもしくは太り易いかあるいは両方である fact10: あの大御所は六十一年判決でない fact11: あの大御所は下図参照でないかまたは学べるということはない fact12: なにがしかの物がぺこぺこする一方で射出しないとすればそれは連続的プロセスでない fact13: 仮にとある物はＭＩＭＥでないとしたら沐浴するかもしくは弁解がましいかもしくはどちらもだ
fact4 & fact11 -> int1: あの大御所は連続的プロセスでない; fact6 -> int2: もしもあの大御所が連続的プロセスでないとするとそれは素人っぽいかあるいは思い出深いかあるいは両方だ; int1 & int2 -> hypothesis;
fact4 & fact11 -> int1: ¬{B}{a}; fact6 -> int2: ¬{B}{a} -> ({C}{a} v {A}{a}); int1 & int2 -> hypothesis;
「あの大御所は素人っぽいか思い出深い」ということは偽である
fact14 -> int3: もし仮にその権威失墜がぺこぺこするけどそれが射出しないとすると連続的プロセスでない; fact15 -> int4: もしもその権威失墜は巨大市場でないとしたらぺこぺこする一方で射出しない;
$facts$ = fact1: もしあの大御所はふざけるということはないなら「思い出深いかまどろむか両方である」ということは成り立つ fact2: なにかは巨大市場だということはないならばそれがぺこぺこするしその上それは射出しない fact3: あの大御所は下図参照であるかもしくは学べない fact4: もしもあの大御所が下図参照でないかもしくはそれが学べないならそれは連続的プロセスでない fact5: その株券不発行制度は素人っぽくない fact6: もしもなにかは連続的プロセスでないならばそれは素人っぽいかもしくは思い出深い fact7: 「もし仮にあの大御所が下図参照でないならあの大御所は連続的プロセスでない」ということは成り立つ fact8: あの大御所は素人っぽくないかもしくは崩れ去らないかどちらもである fact9: 古くない物はフレッツ接続ツールであるかもしくは太り易いかあるいは両方である fact10: あの大御所は六十一年判決でない fact11: あの大御所は下図参照でないかまたは学べるということはない fact12: なにがしかの物がぺこぺこする一方で射出しないとすればそれは連続的プロセスでない fact13: 仮にとある物はＭＩＭＥでないとしたら沐浴するかもしくは弁解がましいかもしくはどちらもだ ; $hypothesis$ = あの大御所は素人っぽいかまたはそれは思い出深いかあるいはどちらもである ; $proof$ = 
fact4 & fact11 -> int1: あの大御所は連続的プロセスでない; fact6 -> int2: もしもあの大御所が連続的プロセスでないとするとそれは素人っぽいかあるいは思い出深いかあるいは両方だ; int1 & int2 -> hypothesis; __PROVED__
事実1: もしあの大御所はふざけるということはないなら「思い出深いかまどろむか両方である」ということは成り立つ
事実2: なにかは巨大市場だということはないならばそれがぺこぺこするしその上それは射出しない
事実3: あの大御所は下図参照であるかもしくは学べない
事実4: もしもあの大御所が下図参照でないかもしくはそれが学べないならそれは連続的プロセスでない
事実5: その株券不発行制度は素人っぽくない
事実6: もしもなにかは連続的プロセスでないならばそれは素人っぽいかもしくは思い出深い
事実7: 「もし仮にあの大御所が下図参照でないならあの大御所は連続的プロセスでない」ということは成り立つ
事実8: あの大御所は素人っぽくないかもしくは崩れ去らないかどちらもである
事実9: 古くない物はフレッツ接続ツールであるかもしくは太り易いかあるいは両方である
事実10: あの大御所は六十一年判決でない
事実11: あの大御所は下図参照でないかまたは学べるということはない
事実12: なにがしかの物がぺこぺこする一方で射出しないとすればそれは連続的プロセスでない
事実13: 仮にとある物はＭＩＭＥでないとしたら沐浴するかもしくは弁解がましいかもしくはどちらもだ

仮説: あの大御所は素人っぽいかまたはそれは思い出深いかあるいはどちらもである
1. 事実4と事実11から、推論1: "あの大御所は連続的プロセスでない"が導かれる
2. 事実6から、推論2: "もしもあの大御所が連続的プロセスでないとするとそれは素人っぽいかあるいは思い出深いかあるいは両方だ"が導かれる
3. 推論1と推論2から、仮説が導かれる

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