その御利口さんはこざっぱりする
fact1: そのサクラル・チャクラが等しないなら鬻ぐかあるいは引き当てるかまたはどちらもである fact2: その御利口さんは海外留学生だ fact3: もしなにがしかの物が鬻ぐが診療しないとするとそれは引き当てるということはない fact4: そのサクラル・チャクラは引き当てる fact5: この対ドルは純情であるかあるいは引き当てるかもしくはどちらもだ fact6: その契約解釈はこざっぱりする fact7: そのサクラル・チャクラは海外留学生でない fact8: その御利口さんは仕事らしくない fact9: もしそのサクラル・チャクラが御恥ずかしいとするとこの対ドルは引き当てる fact10: 「この対ドルは引き当てる」ということは確かだとしたらその御利口さんはこざっぱりする fact11: もし仮にそのサクラル・チャクラは仕事らしいとしたら「この対ドルは引き当てる」ということは本当である fact12: その土民は引き当てる fact13: 仮にそのサクラル・チャクラが引き当てればこの対ドルは仕事らしい fact14: もしそのサクラル・チャクラは海外留学生でないとしたら仕事らしいか御恥ずかしいかあるいは両方ともである fact15: この対ドルが除外しないなら凌ぎであるか格好良い fact16: この対ドルはこざっぱりする fact17: この自主努力は引き当てる fact18: もし仮に「ある物は仕事らしくないがしかしそれは引き当てる」ということは間違いだとしたら仕事らしい fact19: もしもこの対ドルが仕事らしいとすればあのサクラル・チャクラは引き当てる fact20: そのサクラル・チャクラは引き当てるかまたは海外留学生であるかどちらもである fact21: この対ドルは組み立て直す fact22: そのサクラル・チャクラはこざっぱりしない fact23: もしもそのサクラル・チャクラが引き当てるとすればこの対ドルは海外留学生である
fact14 & fact7 -> int1: そのサクラル・チャクラは仕事らしいかもしくは御恥ずかしい; int1 & fact11 & fact9 -> int2: この対ドルは引き当てる; int2 & fact10 -> hypothesis;
fact14 & fact7 -> int1: ({AA}{a} v {AB}{a}); int1 & fact11 & fact9 -> int2: {B}{b}; int2 & fact10 -> hypothesis;
その御利口さんはこざっぱりしない
fact24 -> int3: もし仮に「その御利口さんは鬻ぐけど診療しない」ということは事実と異ならないとすればそれは引き当てるということはない;
$facts$ = fact1: そのサクラル・チャクラが等しないなら鬻ぐかあるいは引き当てるかまたはどちらもである fact2: その御利口さんは海外留学生だ fact3: もしなにがしかの物が鬻ぐが診療しないとするとそれは引き当てるということはない fact4: そのサクラル・チャクラは引き当てる fact5: この対ドルは純情であるかあるいは引き当てるかもしくはどちらもだ fact6: その契約解釈はこざっぱりする fact7: そのサクラル・チャクラは海外留学生でない fact8: その御利口さんは仕事らしくない fact9: もしそのサクラル・チャクラが御恥ずかしいとするとこの対ドルは引き当てる fact10: 「この対ドルは引き当てる」ということは確かだとしたらその御利口さんはこざっぱりする fact11: もし仮にそのサクラル・チャクラは仕事らしいとしたら「この対ドルは引き当てる」ということは本当である fact12: その土民は引き当てる fact13: 仮にそのサクラル・チャクラが引き当てればこの対ドルは仕事らしい fact14: もしそのサクラル・チャクラは海外留学生でないとしたら仕事らしいか御恥ずかしいかあるいは両方ともである fact15: この対ドルが除外しないなら凌ぎであるか格好良い fact16: この対ドルはこざっぱりする fact17: この自主努力は引き当てる fact18: もし仮に「ある物は仕事らしくないがしかしそれは引き当てる」ということは間違いだとしたら仕事らしい fact19: もしもこの対ドルが仕事らしいとすればあのサクラル・チャクラは引き当てる fact20: そのサクラル・チャクラは引き当てるかまたは海外留学生であるかどちらもである fact21: この対ドルは組み立て直す fact22: そのサクラル・チャクラはこざっぱりしない fact23: もしもそのサクラル・チャクラが引き当てるとすればこの対ドルは海外留学生である ; $hypothesis$ = その御利口さんはこざっぱりする ; $proof$ = 
fact14 & fact7 -> int1: そのサクラル・チャクラは仕事らしいかもしくは御恥ずかしい; int1 & fact11 & fact9 -> int2: この対ドルは引き当てる; int2 & fact10 -> 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: もしもそのサクラル・チャクラが引き当てるとすればこの対ドルは海外留学生である

仮説: その御利口さんはこざっぱりする
1. 事実14と事実7から、推論1: "そのサクラル・チャクラは仕事らしいかもしくは御恥ずかしい"が導かれる
2. 推論1と事実11と事実9から、推論2: "この対ドルは引き当てる"が導かれる
3. 推論2と事実10から、仮説が導かれる

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