その別本はパースニップでない
fact1: もしなにかは高め合うとしたら練れない fact2: 仮に何かは関係会社ならパースニップであるということはない fact3: そのソフロロジー式は学校当局であるかあるいは海賊達でないか両方である fact4: そのソフロロジー式は学校当局でないか海賊達であるかあるいはどちらもだ fact5: そのソフロロジー式は学校当局であるということはないか海賊達でないか両方である fact6: その感想文はパースニップでない fact7: 外し易くないものは関係会社だ fact8: もしそのソフロロジー式が学校当局でないかそれが海賊達であるということはないかどちらもであるとしたらその別本は外し易くない
fact8 & fact5 -> int1: その別本は外し易くない; fact7 -> int2: もし仮にその別本が外し易いということはないなら関係会社である; int1 & int2 -> int3: その別本は関係会社である; fact2 -> int4: もしその別本は関係会社であるとしたらパースニップでない; int3 & int4 -> hypothesis;
仮にその年度別が高め合えばそれは練れない
fact9 -> hypothesis;
$facts$ = fact1: もしなにかは高め合うとしたら練れない fact2: 仮に何かは関係会社ならパースニップであるということはない fact3: そのソフロロジー式は学校当局であるかあるいは海賊達でないか両方である fact4: そのソフロロジー式は学校当局でないか海賊達であるかあるいはどちらもだ fact5: そのソフロロジー式は学校当局であるということはないか海賊達でないか両方である fact6: その感想文はパースニップでない fact7: 外し易くないものは関係会社だ fact8: もしそのソフロロジー式が学校当局でないかそれが海賊達であるということはないかどちらもであるとしたらその別本は外し易くない ; $hypothesis$ = その別本はパースニップでない ; $proof$ = 
fact8 & fact5 -> int1: その別本は外し易くない; fact7 -> int2: もし仮にその別本が外し易いということはないなら関係会社である; int1 & int2 -> int3: その別本は関係会社である; fact2 -> int4: もしその別本は関係会社であるとしたらパースニップでない; int3 & int4 -> hypothesis; __PROVED__
事実1: もしなにかは高め合うとしたら練れない
事実2: 仮に何かは関係会社ならパースニップであるということはない
事実3: そのソフロロジー式は学校当局であるかあるいは海賊達でないか両方である
事実4: そのソフロロジー式は学校当局でないか海賊達であるかあるいはどちらもだ
事実5: そのソフロロジー式は学校当局であるということはないか海賊達でないか両方である
事実6: その感想文はパースニップでない
事実7: 外し易くないものは関係会社だ
事実8: もしそのソフロロジー式が学校当局でないかそれが海賊達であるということはないかどちらもであるとしたらその別本は外し易くない

仮説: その別本はパースニップでない
1. 事実8と事実5から、推論1: "その別本は外し易くない"が導かれる
2. 事実7から、推論2: "もし仮にその別本が外し易いということはないなら関係会社である"が導かれる
3. 推論1と推論2から、推論3: "その別本は関係会社である"が導かれる
4. 事実2から、推論4: "もしその別本は関係会社であるとしたらパースニップでない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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