その框は食い付く
fact1: もしなにがしかの物が競走するとしたら食い付かない fact2: もしも「なにがしかのものは攻撃し易くない」ということは成り立つとしたら「それは所らしい物であって競走する」ということは成り立つということはない fact3: 仮になんらかのものが叩き起こすならそれは顧客データベースだ fact4: 顧客データベースは所らしい fact5: もし仮にこの艦爆が競走するとすると攻撃し易い fact6: この艦爆が連立するとすればその框は食い付く fact7: 「「その框は競走するかあるいは食い付くかどちらもだ」ということは確かであるならその框は叩き起こさない」ということは本当である fact8: この解析システムは株式移転でない fact9: もしもなにがしかの物が生活し易くないかあるいはそれが株式移転でないかどちらもならこの緩衝帯は攻撃し易くない fact10: もしも何らかの物が攻撃し易いかそれは競走するか両方なら「食い付かない」ということは真実である fact11: もし何かは叩き起こさないとしたら「所らしいしその上連立する」ということは誤っている fact12: 仮に「連立する」ものがあればこの艦爆は叩き起こす fact13: もしもこの艦爆が所らしいならその框は攻撃し易い fact14: おっきいものは適用す fact15: もし仮に「この緩衝帯は所らしいし更に競走する」ということは嘘ならこの各藩は所らしくない fact16: もしもその框が競走すれば食い付くということはない fact17: もしも「攻撃し易い」ものはあるとしたら「その框は顧客データベースであるし叩き起こす」ということは嘘だ fact18: 「連立する」物はある fact19: この艦爆は食い付く fact20: この解析システムは叩き起こす
fact18 & fact12 -> int1: この艦爆は叩き起こす; fact3 -> int2: もしもこの艦爆が叩き起こせばそれは顧客データベースである; int1 & int2 -> int3: この艦爆は顧客データベースだ; fact4 -> int4: もしこの艦爆は顧客データベースであるならそれは所らしい; int3 & int4 -> int5: 「この艦爆は所らしい」ということは正しい; int5 & fact13 -> int6: その框は攻撃し易い; int6 -> int7: その框は攻撃し易いかあるいは競走するかまたは両方である; fact10 -> int8: もしその框は攻撃し易いかあるいは競走するかまたは両方であるならばそれは食い付くということはない; int7 & int8 -> hypothesis;
その框は食い付く
fact23 -> int9: もし仮に「この緩衝帯は攻撃し易いということはない」ということは間違いだということはないなら「所らしいしまた競走する」ということは成り立たない; fact25 -> int10: この解析システムは生活し易くないかあるいはそれは株式移転でない; int10 -> int11: 「生活し易くないかもしくは株式移転でない」ものはある; int11 & fact24 -> int12: この緩衝帯は攻撃し易いということはない; int9 & int12 -> int13: 「この緩衝帯は所らしいしそれに競走する」ということは成り立つということはない; fact21 & int13 -> int14: この各藩は所らしいということはない; int14 -> int15: 所らしくない物はある;
$facts$ = fact1: もしなにがしかの物が競走するとしたら食い付かない fact2: もしも「なにがしかのものは攻撃し易くない」ということは成り立つとしたら「それは所らしい物であって競走する」ということは成り立つということはない fact3: 仮になんらかのものが叩き起こすならそれは顧客データベースだ fact4: 顧客データベースは所らしい fact5: もし仮にこの艦爆が競走するとすると攻撃し易い fact6: この艦爆が連立するとすればその框は食い付く fact7: 「「その框は競走するかあるいは食い付くかどちらもだ」ということは確かであるならその框は叩き起こさない」ということは本当である fact8: この解析システムは株式移転でない fact9: もしもなにがしかの物が生活し易くないかあるいはそれが株式移転でないかどちらもならこの緩衝帯は攻撃し易くない fact10: もしも何らかの物が攻撃し易いかそれは競走するか両方なら「食い付かない」ということは真実である fact11: もし何かは叩き起こさないとしたら「所らしいしその上連立する」ということは誤っている fact12: 仮に「連立する」ものがあればこの艦爆は叩き起こす fact13: もしもこの艦爆が所らしいならその框は攻撃し易い fact14: おっきいものは適用す fact15: もし仮に「この緩衝帯は所らしいし更に競走する」ということは嘘ならこの各藩は所らしくない fact16: もしもその框が競走すれば食い付くということはない fact17: もしも「攻撃し易い」ものはあるとしたら「その框は顧客データベースであるし叩き起こす」ということは嘘だ fact18: 「連立する」物はある fact19: この艦爆は食い付く fact20: この解析システムは叩き起こす ; $hypothesis$ = その框は食い付く ; $proof$ = 
fact18 & fact12 -> int1: この艦爆は叩き起こす; fact3 -> int2: もしもこの艦爆が叩き起こせばそれは顧客データベースである; int1 & int2 -> int3: この艦爆は顧客データベースだ; fact4 -> int4: もしこの艦爆は顧客データベースであるならそれは所らしい; int3 & int4 -> int5: 「この艦爆は所らしい」ということは正しい; int5 & fact13 -> int6: その框は攻撃し易い; int6 -> int7: その框は攻撃し易いかあるいは競走するかまたは両方である; fact10 -> int8: もしその框は攻撃し易いかあるいは競走するかまたは両方であるならばそれは食い付くということはない; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしなにがしかの物が競走するとしたら食い付かない
事実2: もしも「なにがしかのものは攻撃し易くない」ということは成り立つとしたら「それは所らしい物であって競走する」ということは成り立つということはない
事実3: 仮になんらかのものが叩き起こすならそれは顧客データベースだ
事実4: 顧客データベースは所らしい
事実5: もし仮にこの艦爆が競走するとすると攻撃し易い
事実6: この艦爆が連立するとすればその框は食い付く
事実7: 「「その框は競走するかあるいは食い付くかどちらもだ」ということは確かであるならその框は叩き起こさない」ということは本当である
事実8: この解析システムは株式移転でない
事実9: もしもなにがしかの物が生活し易くないかあるいはそれが株式移転でないかどちらもならこの緩衝帯は攻撃し易くない
事実10: もしも何らかの物が攻撃し易いかそれは競走するか両方なら「食い付かない」ということは真実である
事実11: もし何かは叩き起こさないとしたら「所らしいしその上連立する」ということは誤っている
事実12: 仮に「連立する」ものがあればこの艦爆は叩き起こす
事実13: もしもこの艦爆が所らしいならその框は攻撃し易い
事実14: おっきいものは適用す
事実15: もし仮に「この緩衝帯は所らしいし更に競走する」ということは嘘ならこの各藩は所らしくない
事実16: もしもその框が競走すれば食い付くということはない
事実17: もしも「攻撃し易い」ものはあるとしたら「その框は顧客データベースであるし叩き起こす」ということは嘘だ
事実18: 「連立する」物はある
事実19: この艦爆は食い付く
事実20: この解析システムは叩き起こす

仮説: その框は食い付く
1. 事実18と事実12から、推論1: "この艦爆は叩き起こす"が導かれる
2. 事実3から、推論2: "もしもこの艦爆が叩き起こせばそれは顧客データベースである"が導かれる
3. 推論1と推論2から、推論3: "この艦爆は顧客データベースだ"が導かれる
4. 事実4から、推論4: "もしこの艦爆は顧客データベースであるならそれは所らしい"が導かれる
5. 推論3と推論4から、推論5: "「この艦爆は所らしい」ということは正しい"が導かれる
6. 推論5と事実13から、推論6: "その框は攻撃し易い"が導かれる
7. 推論6から、推論7: "その框は攻撃し易いかあるいは競走するかまたは両方である"が導かれる
8. 事実10から、推論8: "もしその框は攻撃し易いかあるいは競走するかまたは両方であるならばそれは食い付くということはない"が導かれる
9. 推論7と推論8から、仮説が否定される

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