この数分置きは見なし得る
fact1: このオペラ歌手は惨くない fact2: この数分置きはきっちりしない一方で沈黙す fact3: もしこの数分置きが惨いならばそれは沈黙す fact4: 仮にこの数分置きは惨いとしたら「それは心嚢内圧でない一方で等価交換する」ということは事実である fact5: この数分置きは還元反応でないがしかし出入りし易い fact6: 仮にそのラジオ村が沈黙すとするとそれはＥＬＴでないけれど船員保険だ fact7: この数分置きが薄ら寒くないなら修復すしそれはぎすぎすする fact8: あの神代ビルは見なし得ない fact9: この数分置きは沈黙す fact10: この土地持ちは沈黙す fact11: もしも「この数分置きは修復すらない一方でそれはぎすぎすする」ということは本当でないなら活動し難くない fact12: あの貴人は見なし得ない fact13: この数分置きは劇作である fact14: この数分置きはネイティブらしくない fact15: この数分置きが惨いとしたら見なし得ないけど沈黙す fact16: この数分置きは惨い fact17: この数分置きはきな臭いということはない fact18: このポリープは沈黙すらないが金融業界である fact19: あの使用例は惨くない fact20: 仮にこの数分置きが活動し難くないならあのタイガー戦車は沈黙すし加えて惨い fact21: この数分置きは有り難い fact22: もし何らかのものがぎすぎすするならそれは惨いかもしくは活動し難いということはないかもしくは両方ともだ
fact15 & fact16 -> int1: この数分置きは見なし得るということはないが沈黙す; int1 -> hypothesis;
fact15 & fact16 -> int1: (¬{AA}{a} & {AB}{a}); int1 -> hypothesis;
あのタイガー戦車は沈黙す
$facts$ = fact1: このオペラ歌手は惨くない fact2: この数分置きはきっちりしない一方で沈黙す fact3: もしこの数分置きが惨いならばそれは沈黙す fact4: 仮にこの数分置きは惨いとしたら「それは心嚢内圧でない一方で等価交換する」ということは事実である fact5: この数分置きは還元反応でないがしかし出入りし易い fact6: 仮にそのラジオ村が沈黙すとするとそれはＥＬＴでないけれど船員保険だ fact7: この数分置きが薄ら寒くないなら修復すしそれはぎすぎすする fact8: あの神代ビルは見なし得ない fact9: この数分置きは沈黙す fact10: この土地持ちは沈黙す fact11: もしも「この数分置きは修復すらない一方でそれはぎすぎすする」ということは本当でないなら活動し難くない fact12: あの貴人は見なし得ない fact13: この数分置きは劇作である fact14: この数分置きはネイティブらしくない fact15: この数分置きが惨いとしたら見なし得ないけど沈黙す fact16: この数分置きは惨い fact17: この数分置きはきな臭いということはない fact18: このポリープは沈黙すらないが金融業界である fact19: あの使用例は惨くない fact20: 仮にこの数分置きが活動し難くないならあのタイガー戦車は沈黙すし加えて惨い fact21: この数分置きは有り難い fact22: もし何らかのものがぎすぎすするならそれは惨いかもしくは活動し難いということはないかもしくは両方ともだ ; $hypothesis$ = この数分置きは見なし得る ; $proof$ = 
fact15 & fact16 -> int1: この数分置きは見なし得るということはないが沈黙す; int1 -> hypothesis; __DISPROVED__
事実1: このオペラ歌手は惨くない
事実2: この数分置きはきっちりしない一方で沈黙す
事実3: もしこの数分置きが惨いならばそれは沈黙す
事実4: 仮にこの数分置きは惨いとしたら「それは心嚢内圧でない一方で等価交換する」ということは事実である
事実5: この数分置きは還元反応でないがしかし出入りし易い
事実6: 仮にそのラジオ村が沈黙すとするとそれはＥＬＴでないけれど船員保険だ
事実7: この数分置きが薄ら寒くないなら修復すしそれはぎすぎすする
事実8: あの神代ビルは見なし得ない
事実9: この数分置きは沈黙す
事実10: この土地持ちは沈黙す
事実11: もしも「この数分置きは修復すらない一方でそれはぎすぎすする」ということは本当でないなら活動し難くない
事実12: あの貴人は見なし得ない
事実13: この数分置きは劇作である
事実14: この数分置きはネイティブらしくない
事実15: この数分置きが惨いとしたら見なし得ないけど沈黙す
事実16: この数分置きは惨い
事実17: この数分置きはきな臭いということはない
事実18: このポリープは沈黙すらないが金融業界である
事実19: あの使用例は惨くない
事実20: 仮にこの数分置きが活動し難くないならあのタイガー戦車は沈黙すし加えて惨い
事実21: この数分置きは有り難い
事実22: もし何らかのものがぎすぎすするならそれは惨いかもしくは活動し難いということはないかもしくは両方ともだ

仮説: この数分置きは見なし得る
1. 事実15と事実16から、推論1: "この数分置きは見なし得るということはないが沈黙す"が導かれる
2. 推論1から、仮説が否定される

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