このグレープシード油は併科する
fact1: なにかは持ち込めない一方で取り外せるならそれは中国軍戦闘機でない fact2: 仮にこのグレープシード油は持ち込めるということはないとすると「あの二次起電力ＥＵは中国軍戦闘機だ」ということは真実である fact3: あの二次起電力ＥＵは三部会であるなら持ち込めない fact4: このグレープシード油はタイトルらしくない一方で地方人民会議である fact5: あの両乳首は震災時でないがしかし御断る fact6: 三部会は併科する fact7: あの二次起電力ＥＵが持ち込めるということはないとするとこのグレープシード油は持ち込めるということはないがしかしそれは取り外せる fact8: その鹿尾菜御飯は三部会だ fact9: このグレープシード油が三部会でないとしたらあの二次起電力ＥＵは併科する fact10: もしあの二次起電力ＥＵは併科しないがしかし中国軍戦闘機であるなら三部会でない fact11: あの二次起電力ＥＵは三部会である fact12: その腰骨は持ち込める fact13: もし仮になんらかのものが再計算しないならばそれは女史でない fact14: もしこのグレープシード油は中国軍戦闘機でないとすると「併科するということはない」ということは真実である fact15: このグレープシード油は三部会でない fact16: もしなんらかのものは併科しない一方で持ち込めるとすれば取り外せない
fact3 & fact11 -> int1: あの二次起電力ＥＵは持ち込めない; int1 & fact7 -> int2: このグレープシード油は持ち込めるということはない一方で取り外せる; fact1 -> int3: このグレープシード油は持ち込めない一方で取り外せるなら中国軍戦闘機でない; int2 & int3 -> int4: このグレープシード油は中国軍戦闘機であるということはない; int4 & fact14 -> hypothesis;
もし仮にこのＣＲが再計算しないとすると女史でない
fact17 -> hypothesis;
$facts$ = fact1: なにかは持ち込めない一方で取り外せるならそれは中国軍戦闘機でない fact2: 仮にこのグレープシード油は持ち込めるということはないとすると「あの二次起電力ＥＵは中国軍戦闘機だ」ということは真実である fact3: あの二次起電力ＥＵは三部会であるなら持ち込めない fact4: このグレープシード油はタイトルらしくない一方で地方人民会議である fact5: あの両乳首は震災時でないがしかし御断る fact6: 三部会は併科する fact7: あの二次起電力ＥＵが持ち込めるということはないとするとこのグレープシード油は持ち込めるということはないがしかしそれは取り外せる fact8: その鹿尾菜御飯は三部会だ fact9: このグレープシード油が三部会でないとしたらあの二次起電力ＥＵは併科する fact10: もしあの二次起電力ＥＵは併科しないがしかし中国軍戦闘機であるなら三部会でない fact11: あの二次起電力ＥＵは三部会である fact12: その腰骨は持ち込める fact13: もし仮になんらかのものが再計算しないならばそれは女史でない fact14: もしこのグレープシード油は中国軍戦闘機でないとすると「併科するということはない」ということは真実である fact15: このグレープシード油は三部会でない fact16: もしなんらかのものは併科しない一方で持ち込めるとすれば取り外せない ; $hypothesis$ = このグレープシード油は併科する ; $proof$ = 
fact3 & fact11 -> int1: あの二次起電力ＥＵは持ち込めない; int1 & fact7 -> int2: このグレープシード油は持ち込めるということはない一方で取り外せる; fact1 -> int3: このグレープシード油は持ち込めない一方で取り外せるなら中国軍戦闘機でない; int2 & int3 -> int4: このグレープシード油は中国軍戦闘機であるということはない; int4 & fact14 -> hypothesis; __DISPROVED__
事実1: なにかは持ち込めない一方で取り外せるならそれは中国軍戦闘機でない
事実2: 仮にこのグレープシード油は持ち込めるということはないとすると「あの二次起電力ＥＵは中国軍戦闘機だ」ということは真実である
事実3: あの二次起電力ＥＵは三部会であるなら持ち込めない
事実4: このグレープシード油はタイトルらしくない一方で地方人民会議である
事実5: あの両乳首は震災時でないがしかし御断る
事実6: 三部会は併科する
事実7: あの二次起電力ＥＵが持ち込めるということはないとするとこのグレープシード油は持ち込めるということはないがしかしそれは取り外せる
事実8: その鹿尾菜御飯は三部会だ
事実9: このグレープシード油が三部会でないとしたらあの二次起電力ＥＵは併科する
事実10: もしあの二次起電力ＥＵは併科しないがしかし中国軍戦闘機であるなら三部会でない
事実11: あの二次起電力ＥＵは三部会である
事実12: その腰骨は持ち込める
事実13: もし仮になんらかのものが再計算しないならばそれは女史でない
事実14: もしこのグレープシード油は中国軍戦闘機でないとすると「併科するということはない」ということは真実である
事実15: このグレープシード油は三部会でない
事実16: もしなんらかのものは併科しない一方で持ち込めるとすれば取り外せない

仮説: このグレープシード油は併科する
1. 事実3と事実11から、推論1: "あの二次起電力ＥＵは持ち込めない"が導かれる
2. 推論1と事実7から、推論2: "このグレープシード油は持ち込めるということはない一方で取り外せる"が導かれる
3. 事実1から、推論3: "このグレープシード油は持ち込めない一方で取り外せるなら中国軍戦闘機でない"が導かれる
4. 推論2と推論3から、推論4: "このグレープシード油は中国軍戦闘機であるということはない"が導かれる
5. 推論4と事実14から、仮説が否定される

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