この持続点滴は小板でない
fact1: この持続点滴は形成され易くない fact2: 「この持続点滴は無標でない」ということは確かである fact3: この和約は捕まえるということはなくて薬臭くない fact4: もし仮にこの有限個が不自然さでないがしかし薬臭いならば「それは食品安全委員会でない」ということは成り立つ fact5: もしもあるものが捕まえないとすればそれは形成され易くないしその上物真似する fact6: あの装丁が物真似しないけどそれが賜わるならそれは寄付行為である fact7: この持続点滴は物真似しない fact8: もし仮にこの和約が食品安全委員会だとすればこの持続点滴は小板でない fact9: この和約は芝居する fact10: この和約が形成され易くないけどそれが物真似するなら食品安全委員会である fact11: この持続点滴は薬臭い
fact5 -> int1: もしこの和約が捕まえないならば形成され易くないが物真似する; fact3 -> int2: この和約は捕まえない; int1 & int2 -> int3: この和約は形成され易くないけれど物真似する; int3 & fact10 -> int4: この和約は食品安全委員会だ; int4 & fact8 -> hypothesis;
この持続点滴は小板だ
$facts$ = fact1: この持続点滴は形成され易くない fact2: 「この持続点滴は無標でない」ということは確かである fact3: この和約は捕まえるということはなくて薬臭くない fact4: もし仮にこの有限個が不自然さでないがしかし薬臭いならば「それは食品安全委員会でない」ということは成り立つ fact5: もしもあるものが捕まえないとすればそれは形成され易くないしその上物真似する fact6: あの装丁が物真似しないけどそれが賜わるならそれは寄付行為である fact7: この持続点滴は物真似しない fact8: もし仮にこの和約が食品安全委員会だとすればこの持続点滴は小板でない fact9: この和約は芝居する fact10: この和約が形成され易くないけどそれが物真似するなら食品安全委員会である fact11: この持続点滴は薬臭い ; $hypothesis$ = この持続点滴は小板でない ; $proof$ = 
fact5 -> int1: もしこの和約が捕まえないならば形成され易くないが物真似する; fact3 -> int2: この和約は捕まえない; int1 & int2 -> int3: この和約は形成され易くないけれど物真似する; int3 & fact10 -> int4: この和約は食品安全委員会だ; int4 & fact8 -> hypothesis; __PROVED__
事実1: この持続点滴は形成され易くない
事実2: 「この持続点滴は無標でない」ということは確かである
事実3: この和約は捕まえるということはなくて薬臭くない
事実4: もし仮にこの有限個が不自然さでないがしかし薬臭いならば「それは食品安全委員会でない」ということは成り立つ
事実5: もしもあるものが捕まえないとすればそれは形成され易くないしその上物真似する
事実6: あの装丁が物真似しないけどそれが賜わるならそれは寄付行為である
事実7: この持続点滴は物真似しない
事実8: もし仮にこの和約が食品安全委員会だとすればこの持続点滴は小板でない
事実9: この和約は芝居する
事実10: この和約が形成され易くないけどそれが物真似するなら食品安全委員会である
事実11: この持続点滴は薬臭い

仮説: この持続点滴は小板でない
1. 事実5から、推論1: "もしこの和約が捕まえないならば形成され易くないが物真似する"が導かれる
2. 事実3から、推論2: "この和約は捕まえない"が導かれる
3. 推論1と推論2から、推論3: "この和約は形成され易くないけれど物真似する"が導かれる
4. 推論3と事実10から、推論4: "この和約は食品安全委員会だ"が導かれる
5. 推論4と事実8から、仮説が導かれる

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