この塩化ビニールは発起でない
fact1: このラテン語訳がブラッグ条件だとするとこの塩化ビニールは発起だ fact2: 仮にこのラテン語訳が外出出来ないならばこの塩化ビニールは発起でないけどブラッグ条件である fact3: このラテン語訳は人懐こいけどそれは役立てるということはない fact4: 仮に何かは外出出来るとすればそれはブラッグ条件である fact5: もし何かは役立てれば人懐こい fact6: 仮にこのラテン語訳は人懐こいが役立てないとするとそれは外出出来る fact7: もし仮にこのラテン語訳が人懐こいとすればあの塩化ビニールは役立てる
fact6 & fact3 -> int1: このラテン語訳は外出出来る; fact4 -> int2: もしこのラテン語訳が外出出来るとしたらブラッグ条件である; int1 & int2 -> int3: このラテン語訳はブラッグ条件である; int3 & fact1 -> hypothesis;
fact6 & fact3 -> int1: {B}{a}; fact4 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> int3: {A}{a}; int3 & fact1 -> hypothesis;
この塩化ビニールは発起でない
$facts$ = fact1: このラテン語訳がブラッグ条件だとするとこの塩化ビニールは発起だ fact2: 仮にこのラテン語訳が外出出来ないならばこの塩化ビニールは発起でないけどブラッグ条件である fact3: このラテン語訳は人懐こいけどそれは役立てるということはない fact4: 仮に何かは外出出来るとすればそれはブラッグ条件である fact5: もし何かは役立てれば人懐こい fact6: 仮にこのラテン語訳は人懐こいが役立てないとするとそれは外出出来る fact7: もし仮にこのラテン語訳が人懐こいとすればあの塩化ビニールは役立てる ; $hypothesis$ = この塩化ビニールは発起でない ; $proof$ = 
fact6 & fact3 -> int1: このラテン語訳は外出出来る; fact4 -> int2: もしこのラテン語訳が外出出来るとしたらブラッグ条件である; int1 & int2 -> int3: このラテン語訳はブラッグ条件である; int3 & fact1 -> hypothesis; __DISPROVED__
事実1: このラテン語訳がブラッグ条件だとするとこの塩化ビニールは発起だ
事実2: 仮にこのラテン語訳が外出出来ないならばこの塩化ビニールは発起でないけどブラッグ条件である
事実3: このラテン語訳は人懐こいけどそれは役立てるということはない
事実4: 仮に何かは外出出来るとすればそれはブラッグ条件である
事実5: もし何かは役立てれば人懐こい
事実6: 仮にこのラテン語訳は人懐こいが役立てないとするとそれは外出出来る
事実7: もし仮にこのラテン語訳が人懐こいとすればあの塩化ビニールは役立てる

仮説: この塩化ビニールは発起でない
1. 事実6と事実3から、推論1: "このラテン語訳は外出出来る"が導かれる
2. 事実4から、推論2: "もしこのラテン語訳が外出出来るとしたらブラッグ条件である"が導かれる
3. 推論1と推論2から、推論3: "このラテン語訳はブラッグ条件である"が導かれる
4. 推論3と事実1から、仮説が否定される

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