その祝砲は上げ易い
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 & fact20 -> int1: その祝砲は珍しいがしかしからしない; fact3 -> int2: もしもその祝砲は珍しいがしかしからしないとしたら上げ易い; int1 & int2 -> hypothesis;
fact16 & fact20 -> int1: ({A}{a} & ¬{B}{a}); fact3 -> int2: ({A}{a} & ¬{B}{a}) -> {C}{a}; int1 & int2 -> hypothesis;
このプレゼンス・サービスはからしない
fact25 & fact32 -> int3: 「その蕾様は十メートル法であるかまたはそれは受給するか両方だ」ということは成り立つということはない; int3 & fact33 -> int4: その蕾様は踊り狂わない; int4 -> int5: 「踊り狂うということはない」ものはある; fact31 & int5 -> int6: このプレゼンス・サービスは上げ易い; fact30 -> int7: その地域活性化は講義内容でない; fact35 -> int8: 仮にその地域活性化が講義内容であるということはないとすれば見苦しくてまたそれは翻案する; int7 & int8 -> int9: その地域活性化は見苦しいしかつ翻案する; int9 -> int10: あらゆる物は見苦しいしその上翻案する; int10 -> int11: その祝砲は見苦しくてまたそれは翻案する; int11 -> int12: その祝砲は見苦しい; fact28 & int12 -> int13: このプレゼンス・サービスはスコラでない; fact27 -> int14: このプレゼンス・サービスは即位する; int14 & fact34 -> int15: このプレゼンス・サービスは即位するしそれにすっごい; int15 & fact26 -> int16: このプレゼンス・サービスはすこくない; int13 & int16 -> int17: このプレゼンス・サービスはすこくないしスコラでない; fact29 & int17 -> int18: 「このプレゼンス・サービスは珍しい」ということは確かだ; int6 & int18 -> int19: このプレゼンス・サービスは上げ易いものであって珍しい; fact36 -> int20: もしもこのプレゼンス・サービスは上げ易くて加えて珍しいならそれはからしない; int19 & int20 -> 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: その蕾様は垂直移動しない ; $hypothesis$ = その祝砲は上げ易い ; $proof$ = 
fact16 & fact20 -> int1: その祝砲は珍しいがしかしからしない; fact3 -> int2: もしもその祝砲は珍しいがしかしからしないとしたら上げ易い; int1 & int2 -> 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と事実20から、推論1: "その祝砲は珍しいがしかしからしない"が導かれる
2. 事実3から、推論2: "もしもその祝砲は珍しいがしかしからしないとしたら上げ易い"が導かれる
3. 推論1と推論2から、仮説が導かれる

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