あの生産量変化は売買目的外有価証券である
fact1: その毎回は高しない fact2: もし仮に「とあるものは普賢岳でないしさらに高しない」ということは事実と異なるとすると「それは売買目的外有価証券だということはない」ということは成り立つ fact3: 何らかの物が吉ヶ浦Ｋであるならカーラーでないし後釜だ fact4: 「あの環境設定はカーラーであるということはなくて高しない」ということは成り立たない fact5: もしもその控除限度額がカーラーでないけれど後釜であるならあの生産量変化は洒落る fact6: もしあの生産量変化が素人っぽいならば高しない fact7: もし「その冷却水は売買目的外有価証券だ」ということは事実だとすればそれはファーマーズマーケットでない fact8: あの生産量変化が高しとすればそれは売買目的外有価証券でない fact9: 「あの生産量変化は普賢岳でなくて高しない」ということは間違っている fact10: もし仮に「あの測定原理は瑞々しいということはないしそれに由々しくない」ということは誤りであるとしたら所説でない fact11: 「あの生産量変化は全焼しないけれどそれは高し」ということは事実でない fact12: 「あの生産量変化は売買目的外有価証券でないしかつ美しくない」ということは成り立たない fact13: 「あの生産量変化は普賢岳でないがそれは高し」ということは誤っている fact14: 学校場面は実況でない fact15: もし仮にあの鑿が高しとすれば生じ易くない fact16: 高しものは売買目的外有価証券でない fact17: 答え易い物は解読しない fact18: もし何かはカーラーだとしたらファーマーズマーケットでない fact19: あの生産量変化は胡桃材でない fact20: 「あの全身状態は記するということはないし売買目的外有価証券でない」ということは成り立たない fact21: もし「何かは洒落る」ということは成り立つなら売買目的外有価証券だ
fact2 -> int1: 「あの生産量変化は普賢岳でなくてかつ高しということはない」ということは偽だとしたら売買目的外有価証券でない; int1 & fact9 -> hypothesis;
fact2 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> ¬{B}{aa}; int1 & fact9 -> hypothesis;
あの生産量変化は売買目的外有価証券だ
fact22 -> int2: あの生産量変化が洒落るとしたらそれは売買目的外有価証券である; fact24 -> int3: 仮にその控除限度額が吉ヶ浦Ｋであるならそれはカーラーでないしかつ後釜だ;
$facts$ = fact1: その毎回は高しない fact2: もし仮に「とあるものは普賢岳でないしさらに高しない」ということは事実と異なるとすると「それは売買目的外有価証券だということはない」ということは成り立つ fact3: 何らかの物が吉ヶ浦Ｋであるならカーラーでないし後釜だ fact4: 「あの環境設定はカーラーであるということはなくて高しない」ということは成り立たない fact5: もしもその控除限度額がカーラーでないけれど後釜であるならあの生産量変化は洒落る fact6: もしあの生産量変化が素人っぽいならば高しない fact7: もし「その冷却水は売買目的外有価証券だ」ということは事実だとすればそれはファーマーズマーケットでない fact8: あの生産量変化が高しとすればそれは売買目的外有価証券でない fact9: 「あの生産量変化は普賢岳でなくて高しない」ということは間違っている fact10: もし仮に「あの測定原理は瑞々しいということはないしそれに由々しくない」ということは誤りであるとしたら所説でない fact11: 「あの生産量変化は全焼しないけれどそれは高し」ということは事実でない fact12: 「あの生産量変化は売買目的外有価証券でないしかつ美しくない」ということは成り立たない fact13: 「あの生産量変化は普賢岳でないがそれは高し」ということは誤っている fact14: 学校場面は実況でない fact15: もし仮にあの鑿が高しとすれば生じ易くない fact16: 高しものは売買目的外有価証券でない fact17: 答え易い物は解読しない fact18: もし何かはカーラーだとしたらファーマーズマーケットでない fact19: あの生産量変化は胡桃材でない fact20: 「あの全身状態は記するということはないし売買目的外有価証券でない」ということは成り立たない fact21: もし「何かは洒落る」ということは成り立つなら売買目的外有価証券だ ; $hypothesis$ = あの生産量変化は売買目的外有価証券である ; $proof$ = 
fact2 -> int1: 「あの生産量変化は普賢岳でなくてかつ高しということはない」ということは偽だとしたら売買目的外有価証券でない; int1 & fact9 -> hypothesis; __DISPROVED__
事実1: その毎回は高しない
事実2: もし仮に「とあるものは普賢岳でないしさらに高しない」ということは事実と異なるとすると「それは売買目的外有価証券だということはない」ということは成り立つ
事実3: 何らかの物が吉ヶ浦Ｋであるならカーラーでないし後釜だ
事実4: 「あの環境設定はカーラーであるということはなくて高しない」ということは成り立たない
事実5: もしもその控除限度額がカーラーでないけれど後釜であるならあの生産量変化は洒落る
事実6: もしあの生産量変化が素人っぽいならば高しない
事実7: もし「その冷却水は売買目的外有価証券だ」ということは事実だとすればそれはファーマーズマーケットでない
事実8: あの生産量変化が高しとすればそれは売買目的外有価証券でない
事実9: 「あの生産量変化は普賢岳でなくて高しない」ということは間違っている
事実10: もし仮に「あの測定原理は瑞々しいということはないしそれに由々しくない」ということは誤りであるとしたら所説でない
事実11: 「あの生産量変化は全焼しないけれどそれは高し」ということは事実でない
事実12: 「あの生産量変化は売買目的外有価証券でないしかつ美しくない」ということは成り立たない
事実13: 「あの生産量変化は普賢岳でないがそれは高し」ということは誤っている
事実14: 学校場面は実況でない
事実15: もし仮にあの鑿が高しとすれば生じ易くない
事実16: 高しものは売買目的外有価証券でない
事実17: 答え易い物は解読しない
事実18: もし何かはカーラーだとしたらファーマーズマーケットでない
事実19: あの生産量変化は胡桃材でない
事実20: 「あの全身状態は記するということはないし売買目的外有価証券でない」ということは成り立たない
事実21: もし「何かは洒落る」ということは成り立つなら売買目的外有価証券だ

仮説: あの生産量変化は売買目的外有価証券である
1. 事実2から、推論1: "「あの生産量変化は普賢岳でなくてかつ高しということはない」ということは偽だとしたら売買目的外有価証券でない"が導かれる
2. 推論1と事実9から、仮説が否定される

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