あの演算要素は価格競争力でない
fact1: 「あの演算要素は対外硬集団で加えてそれは腹黒い」ということは確かでない fact2: 腹黒いグルーブルは価格競争力でない fact3: 「あの演算要素はＰ四橋脚基部である一方で腹黒くない」ということは成り立たない fact4: 仮に「価格競争力でないけれどＰ四橋脚基部である」ものがあればあの演算要素はグルーブルだ fact5: あの演算要素は世界最大である fact6: あの演算要素は否だしそれに超過する fact7: もしも「あの演算要素はエースでない」ということは成り立つとするとそれは着易いしさらに価格競争力だ fact8: 「腹黒くないがしかしＰ四橋脚基部である」ものはある fact9: なにがしかのものが着易くないけどエースだとしたらあの演算要素はグルーブルだ fact10: 止め方が反抗するとすれば取り急がない fact11: もし体脂肪・コレステロールが否定し難いとすると剣法でない fact12: あの演算要素はポイエシスであるしおまけに心無い fact13: もしも「あの演算要素はＰ四橋脚基部である一方でそれは腹黒くない」ということは間違いだとしたら腹黒い fact14: 「その御名代はグルーブルであるがしかしそれはさすらわない」ということは偽である fact15: 「あの商人はＰ四橋脚基部だけれど自己抜去でない」ということは誤りだとしたらそれは自己抜去である fact16: なんらかの物は着易くないがエースだ fact17: 仮にあの許容条件は抽選会であるしまたくどいとすればそれはエースだということはない
fact16 & fact9 -> int1: あの演算要素はグルーブルだ; fact13 & fact3 -> int2: 「あの演算要素は腹黒い」ということは嘘でない; int1 & int2 -> int3: あの演算要素はグルーブルだしその上腹黒い; fact2 -> int4: もし仮にあの演算要素がグルーブルだし腹黒いとしたら価格競争力でない; int3 & int4 -> hypothesis;
あの演算要素は価格競争力である
$facts$ = fact1: 「あの演算要素は対外硬集団で加えてそれは腹黒い」ということは確かでない fact2: 腹黒いグルーブルは価格競争力でない fact3: 「あの演算要素はＰ四橋脚基部である一方で腹黒くない」ということは成り立たない fact4: 仮に「価格競争力でないけれどＰ四橋脚基部である」ものがあればあの演算要素はグルーブルだ fact5: あの演算要素は世界最大である fact6: あの演算要素は否だしそれに超過する fact7: もしも「あの演算要素はエースでない」ということは成り立つとするとそれは着易いしさらに価格競争力だ fact8: 「腹黒くないがしかしＰ四橋脚基部である」ものはある fact9: なにがしかのものが着易くないけどエースだとしたらあの演算要素はグルーブルだ fact10: 止め方が反抗するとすれば取り急がない fact11: もし体脂肪・コレステロールが否定し難いとすると剣法でない fact12: あの演算要素はポイエシスであるしおまけに心無い fact13: もしも「あの演算要素はＰ四橋脚基部である一方でそれは腹黒くない」ということは間違いだとしたら腹黒い fact14: 「その御名代はグルーブルであるがしかしそれはさすらわない」ということは偽である fact15: 「あの商人はＰ四橋脚基部だけれど自己抜去でない」ということは誤りだとしたらそれは自己抜去である fact16: なんらかの物は着易くないがエースだ fact17: 仮にあの許容条件は抽選会であるしまたくどいとすればそれはエースだということはない ; $hypothesis$ = あの演算要素は価格競争力でない ; $proof$ = 
fact16 & fact9 -> int1: あの演算要素はグルーブルだ; fact13 & fact3 -> int2: 「あの演算要素は腹黒い」ということは嘘でない; int1 & int2 -> int3: あの演算要素はグルーブルだしその上腹黒い; fact2 -> int4: もし仮にあの演算要素がグルーブルだし腹黒いとしたら価格競争力でない; int3 & int4 -> hypothesis; __PROVED__
事実1: 「あの演算要素は対外硬集団で加えてそれは腹黒い」ということは確かでない
事実2: 腹黒いグルーブルは価格競争力でない
事実3: 「あの演算要素はＰ四橋脚基部である一方で腹黒くない」ということは成り立たない
事実4: 仮に「価格競争力でないけれどＰ四橋脚基部である」ものがあればあの演算要素はグルーブルだ
事実5: あの演算要素は世界最大である
事実6: あの演算要素は否だしそれに超過する
事実7: もしも「あの演算要素はエースでない」ということは成り立つとするとそれは着易いしさらに価格競争力だ
事実8: 「腹黒くないがしかしＰ四橋脚基部である」ものはある
事実9: なにがしかのものが着易くないけどエースだとしたらあの演算要素はグルーブルだ
事実10: 止め方が反抗するとすれば取り急がない
事実11: もし体脂肪・コレステロールが否定し難いとすると剣法でない
事実12: あの演算要素はポイエシスであるしおまけに心無い
事実13: もしも「あの演算要素はＰ四橋脚基部である一方でそれは腹黒くない」ということは間違いだとしたら腹黒い
事実14: 「その御名代はグルーブルであるがしかしそれはさすらわない」ということは偽である
事実15: 「あの商人はＰ四橋脚基部だけれど自己抜去でない」ということは誤りだとしたらそれは自己抜去である
事実16: なんらかの物は着易くないがエースだ
事実17: 仮にあの許容条件は抽選会であるしまたくどいとすればそれはエースだということはない

仮説: あの演算要素は価格競争力でない
1. 事実16と事実9から、推論1: "あの演算要素はグルーブルだ"が導かれる
2. 事実13と事実3から、推論2: "「あの演算要素は腹黒い」ということは嘘でない"が導かれる
3. 推論1と推論2から、推論3: "あの演算要素はグルーブルだしその上腹黒い"が導かれる
4. 事実2から、推論4: "もし仮にあの演算要素がグルーブルだし腹黒いとしたら価格競争力でない"が導かれる
5. 推論3と推論4から、仮説が導かれる

よって、仮説が証明されました。