あの若松映画は際どかない
fact1: もしもこの策定プロセスは講じないなら「その西洋は育ち難くない」ということは本当だ fact2: もし仮にこの策定プロセスが上訴すればその西洋は育ち難くない fact3: あらゆるものは切り難いかまたは際どかない fact4: どれもこれもは上訴するか講じないかあるいは両方ともだ fact5: 仮にその西洋が切り難くないし育ち難くないとしたらあの若松映画は際どい fact6: その西洋はキャンパスでないがしかしそれは付設する fact7: もしもその西洋がキャンパスでないけど付設すれば切り難くない
fact4 -> int1: この策定プロセスは上訴するかあるいは講じないかまたは両方ともだ; int1 & fact2 & fact1 -> int2: その西洋は育ち難くない; fact6 & fact7 -> int3: その西洋は切り難くない; int2 & int3 -> int4: その西洋は切り難くなくてそれは育ち難くない; int4 & fact5 -> hypothesis;
$facts$ = fact1: もしもこの策定プロセスは講じないなら「その西洋は育ち難くない」ということは本当だ fact2: もし仮にこの策定プロセスが上訴すればその西洋は育ち難くない fact3: あらゆるものは切り難いかまたは際どかない fact4: どれもこれもは上訴するか講じないかあるいは両方ともだ fact5: 仮にその西洋が切り難くないし育ち難くないとしたらあの若松映画は際どい fact6: その西洋はキャンパスでないがしかしそれは付設する fact7: もしもその西洋がキャンパスでないけど付設すれば切り難くない ; $hypothesis$ = あの若松映画は際どかない ; $proof$ = 
fact4 -> int1: この策定プロセスは上訴するかあるいは講じないかまたは両方ともだ; int1 & fact2 & fact1 -> int2: その西洋は育ち難くない; fact6 & fact7 -> int3: その西洋は切り難くない; int2 & int3 -> int4: その西洋は切り難くなくてそれは育ち難くない; int4 & fact5 -> hypothesis; __DISPROVED__
事実1: もしもこの策定プロセスは講じないなら「その西洋は育ち難くない」ということは本当だ
事実2: もし仮にこの策定プロセスが上訴すればその西洋は育ち難くない
事実3: あらゆるものは切り難いかまたは際どかない
事実4: どれもこれもは上訴するか講じないかあるいは両方ともだ
事実5: 仮にその西洋が切り難くないし育ち難くないとしたらあの若松映画は際どい
事実6: その西洋はキャンパスでないがしかしそれは付設する
事実7: もしもその西洋がキャンパスでないけど付設すれば切り難くない

仮説: あの若松映画は際どかない
1. 事実4から、推論1: "この策定プロセスは上訴するかあるいは講じないかまたは両方ともだ"が導かれる
2. 推論1と事実2と事実1から、推論2: "その西洋は育ち難くない"が導かれる
3. 事実6と事実7から、推論3: "その西洋は切り難くない"が導かれる
4. 推論2と推論3から、推論4: "その西洋は切り難くなくてそれは育ち難くない"が導かれる
5. 推論4と事実5から、仮説が否定される

よって、仮説が否定されました。