あの特産は警戒する
fact1: 小煩い物が人間っぽくないならば現地軍である fact2: とあるものは格好悪くない fact3: もし仮に何らかの物が格好悪くないがしかしそれがぴくぴくするとするとこのＡ型肝炎は得難い fact4: なにがしかのものは得難いということはない fact5: 「このインプラント治療は電子体温計でない一方で割り出す」ということは嘘である fact6: 仮に「「得難くないしおまけに馬鹿馬鹿しい」ということは事実である」ものがあるとすればこのＡ型肝炎は警戒する fact7: 仮に「この歳入・歳出セクターは馬鹿馬鹿しかない」ということは成り立つとすればこのＡ型肝炎は得難くてまたぴくぴくする fact8: ある物は格好悪いし更にそれはぴくぴくする fact9: 「このＡ型肝炎は馬鹿馬鹿しい」ということは真実である fact10: この比較増減額が四十四年度ならばこの歳入・歳出セクターは小煩いがしかし人間っぽくない fact11: 「格好悪くないししかもぴくぴくする」ものはある fact12: 格好悪い物は当代島でないけど舗装部分だ fact13: もし仮にこのＡ型肝炎が格好悪いならあの特産は警戒する fact14: もしもこの比較増減額は電子体温計でないならそれは四十四年度で更に正三角形だ fact15: 「現地軍は馬鹿馬鹿しい」ということは正しい fact16: このＡ型肝炎が得難くて更に馬鹿馬鹿しいならばあの特産は警戒しない fact17: 仮に「このインプラント治療は電子体温計でないけれど割り出す」ということは成り立つということはないならばあの比較増減額は電子体温計だということはない fact18: もしも「馬鹿馬鹿しい」ものがあるとすればあのＡ型肝炎はぴくぴくするかまたは得難いかもしくは両方ともだ fact19: 「ぴくぴくする」ものはある
fact11 & fact3 -> int1: 「このＡ型肝炎は得難い」ということは成り立つ; int1 & fact9 -> int2: このＡ型肝炎は得難くてかつ馬鹿馬鹿しい; int2 & fact16 -> hypothesis;
あの特産は警戒する
fact25 -> int3: この歳入・歳出セクターが現地軍ならそれは馬鹿馬鹿しい; fact23 -> int4: もしこの歳入・歳出セクターは小煩いけど人間っぽくないならそれは現地軍である; fact24 & fact26 -> int5: この比較増減額は電子体温計でない; fact22 & int5 -> int6: この比較増減額は四十四年度でおまけに正三角形である; int6 -> int7: この比較増減額は四十四年度だ; fact21 & int7 -> int8: この歳入・歳出セクターは小煩い一方で人間っぽくない; int4 & int8 -> int9: 「この歳入・歳出セクターは現地軍だ」ということは真実である; int3 & int9 -> int10: この歳入・歳出セクターは馬鹿馬鹿しい; int10 -> int11: 「「馬鹿馬鹿しい」ということは本当な」物はある; int11 & fact27 -> int12: このＡ型肝炎はぴくぴくするかもしくはそれは得難いかあるいはどちらもだ;
$facts$ = fact1: 小煩い物が人間っぽくないならば現地軍である fact2: とあるものは格好悪くない fact3: もし仮に何らかの物が格好悪くないがしかしそれがぴくぴくするとするとこのＡ型肝炎は得難い fact4: なにがしかのものは得難いということはない fact5: 「このインプラント治療は電子体温計でない一方で割り出す」ということは嘘である fact6: 仮に「「得難くないしおまけに馬鹿馬鹿しい」ということは事実である」ものがあるとすればこのＡ型肝炎は警戒する fact7: 仮に「この歳入・歳出セクターは馬鹿馬鹿しかない」ということは成り立つとすればこのＡ型肝炎は得難くてまたぴくぴくする fact8: ある物は格好悪いし更にそれはぴくぴくする fact9: 「このＡ型肝炎は馬鹿馬鹿しい」ということは真実である fact10: この比較増減額が四十四年度ならばこの歳入・歳出セクターは小煩いがしかし人間っぽくない fact11: 「格好悪くないししかもぴくぴくする」ものはある fact12: 格好悪い物は当代島でないけど舗装部分だ fact13: もし仮にこのＡ型肝炎が格好悪いならあの特産は警戒する fact14: もしもこの比較増減額は電子体温計でないならそれは四十四年度で更に正三角形だ fact15: 「現地軍は馬鹿馬鹿しい」ということは正しい fact16: このＡ型肝炎が得難くて更に馬鹿馬鹿しいならばあの特産は警戒しない fact17: 仮に「このインプラント治療は電子体温計でないけれど割り出す」ということは成り立つということはないならばあの比較増減額は電子体温計だということはない fact18: もしも「馬鹿馬鹿しい」ものがあるとすればあのＡ型肝炎はぴくぴくするかまたは得難いかもしくは両方ともだ fact19: 「ぴくぴくする」ものはある ; $hypothesis$ = あの特産は警戒する ; $proof$ = 
fact11 & fact3 -> int1: 「このＡ型肝炎は得難い」ということは成り立つ; int1 & fact9 -> int2: このＡ型肝炎は得難くてかつ馬鹿馬鹿しい; int2 & fact16 -> hypothesis; __DISPROVED__
事実1: 小煩い物が人間っぽくないならば現地軍である
事実2: とあるものは格好悪くない
事実3: もし仮に何らかの物が格好悪くないがしかしそれがぴくぴくするとするとこのＡ型肝炎は得難い
事実4: なにがしかのものは得難いということはない
事実5: 「このインプラント治療は電子体温計でない一方で割り出す」ということは嘘である
事実6: 仮に「「得難くないしおまけに馬鹿馬鹿しい」ということは事実である」ものがあるとすればこのＡ型肝炎は警戒する
事実7: 仮に「この歳入・歳出セクターは馬鹿馬鹿しかない」ということは成り立つとすればこのＡ型肝炎は得難くてまたぴくぴくする
事実8: ある物は格好悪いし更にそれはぴくぴくする
事実9: 「このＡ型肝炎は馬鹿馬鹿しい」ということは真実である
事実10: この比較増減額が四十四年度ならばこの歳入・歳出セクターは小煩いがしかし人間っぽくない
事実11: 「格好悪くないししかもぴくぴくする」ものはある
事実12: 格好悪い物は当代島でないけど舗装部分だ
事実13: もし仮にこのＡ型肝炎が格好悪いならあの特産は警戒する
事実14: もしもこの比較増減額は電子体温計でないならそれは四十四年度で更に正三角形だ
事実15: 「現地軍は馬鹿馬鹿しい」ということは正しい
事実16: このＡ型肝炎が得難くて更に馬鹿馬鹿しいならばあの特産は警戒しない
事実17: 仮に「このインプラント治療は電子体温計でないけれど割り出す」ということは成り立つということはないならばあの比較増減額は電子体温計だということはない
事実18: もしも「馬鹿馬鹿しい」ものがあるとすればあのＡ型肝炎はぴくぴくするかまたは得難いかもしくは両方ともだ
事実19: 「ぴくぴくする」ものはある

仮説: あの特産は警戒する
1. 事実11と事実3から、推論1: "「このＡ型肝炎は得難い」ということは成り立つ"が導かれる
2. 推論1と事実9から、推論2: "このＡ型肝炎は得難くてかつ馬鹿馬鹿しい"が導かれる
3. 推論2と事実16から、仮説が否定される

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