この画面左は浅ましし更にＥＴＦである
fact1: なにがしかのものが限界利潤だけれどそれは断定し難くないならば「御考え頂かない」ということは本当である fact2: もし仮に「御考え頂かないかもしくは断定し難いということはないかあるいはどちらもである」物があるとすればあの画面左はＥＴＦだ fact3: 「御考え頂くということはないかあるいは断定し難いということはないかもしくは両方ともである」物はある fact4: もしも「「区切れなくてその上限界利潤だということはない」ということは間違いな」ものがあるとするとそのソ連時代はＥＴＦだ fact5: もしも何かは御考え頂くということはないとしたら「それは浅まししＥＴＦだ」ということは嘘である fact6: もしも「この画面左は因り難い」ということは誤りでないとするとあの許容値は因り難い fact7: 仮にあの許容値が限界利潤であるとすればこの画面左は浅まし fact8: 「この雨占い師は区切れるということはないし限界利潤でない」ということは成り立たない fact9: あの許容値は区切れないか限界利潤であるか両方だ fact10: 仮に何かは断定し難いということはないとすれば「この画面左はＥＴＦだ」ということは本当だ fact11: 「御考え頂かないかもしくは断定し難いかもしくは両方ともな」物はある fact12: 「御考え頂くか断定し難いということはないかどちらもな」物はある fact13: あの許容値が区切れないかまたはそれが限界利潤であるかまたはどちらもだとするとこの画面左は浅まし fact14: もしなんらかの物が浅ましということはないとしたらこの画面左は限界利潤である fact15: なんらかの物は限界利潤でないかあるいは浅ましない fact16: もし「なんらかの物は限界利潤であるし更に御考え頂く」ということは偽であるならそれは御考え頂かない
fact3 & fact2 -> int1: この画面左はＥＴＦである; fact13 & fact9 -> int2: この画面左は浅まし; int1 & int2 -> hypothesis;
fact3 & fact2 -> int1: {C}{a}; fact13 & fact9 -> int2: {D}{a}; int1 & int2 -> hypothesis;
「この画面左は浅まししさらにＥＴＦだ」ということは嘘である
fact18 -> int3: もしあの許容値は御考え頂かないなら「浅まししＥＴＦである」ということは誤りだ; fact17 -> int4: もしあの許容値が限界利潤だがそれは断定し難くないとすれば御考え頂かない;
$facts$ = fact1: なにがしかのものが限界利潤だけれどそれは断定し難くないならば「御考え頂かない」ということは本当である fact2: もし仮に「御考え頂かないかもしくは断定し難いということはないかあるいはどちらもである」物があるとすればあの画面左はＥＴＦだ fact3: 「御考え頂くということはないかあるいは断定し難いということはないかもしくは両方ともである」物はある fact4: もしも「「区切れなくてその上限界利潤だということはない」ということは間違いな」ものがあるとするとそのソ連時代はＥＴＦだ fact5: もしも何かは御考え頂くということはないとしたら「それは浅まししＥＴＦだ」ということは嘘である fact6: もしも「この画面左は因り難い」ということは誤りでないとするとあの許容値は因り難い fact7: 仮にあの許容値が限界利潤であるとすればこの画面左は浅まし fact8: 「この雨占い師は区切れるということはないし限界利潤でない」ということは成り立たない fact9: あの許容値は区切れないか限界利潤であるか両方だ fact10: 仮に何かは断定し難いということはないとすれば「この画面左はＥＴＦだ」ということは本当だ fact11: 「御考え頂かないかもしくは断定し難いかもしくは両方ともな」物はある fact12: 「御考え頂くか断定し難いということはないかどちらもな」物はある fact13: あの許容値が区切れないかまたはそれが限界利潤であるかまたはどちらもだとするとこの画面左は浅まし fact14: もしなんらかの物が浅ましということはないとしたらこの画面左は限界利潤である fact15: なんらかの物は限界利潤でないかあるいは浅ましない fact16: もし「なんらかの物は限界利潤であるし更に御考え頂く」ということは偽であるならそれは御考え頂かない ; $hypothesis$ = この画面左は浅ましし更にＥＴＦである ; $proof$ = 
fact3 & fact2 -> int1: この画面左はＥＴＦである; fact13 & fact9 -> int2: この画面左は浅まし; int1 & int2 -> hypothesis; __PROVED__
事実1: なにがしかのものが限界利潤だけれどそれは断定し難くないならば「御考え頂かない」ということは本当である
事実2: もし仮に「御考え頂かないかもしくは断定し難いということはないかあるいはどちらもである」物があるとすればあの画面左はＥＴＦだ
事実3: 「御考え頂くということはないかあるいは断定し難いということはないかもしくは両方ともである」物はある
事実4: もしも「「区切れなくてその上限界利潤だということはない」ということは間違いな」ものがあるとするとそのソ連時代はＥＴＦだ
事実5: もしも何かは御考え頂くということはないとしたら「それは浅まししＥＴＦだ」ということは嘘である
事実6: もしも「この画面左は因り難い」ということは誤りでないとするとあの許容値は因り難い
事実7: 仮にあの許容値が限界利潤であるとすればこの画面左は浅まし
事実8: 「この雨占い師は区切れるということはないし限界利潤でない」ということは成り立たない
事実9: あの許容値は区切れないか限界利潤であるか両方だ
事実10: 仮に何かは断定し難いということはないとすれば「この画面左はＥＴＦだ」ということは本当だ
事実11: 「御考え頂かないかもしくは断定し難いかもしくは両方ともな」物はある
事実12: 「御考え頂くか断定し難いということはないかどちらもな」物はある
事実13: あの許容値が区切れないかまたはそれが限界利潤であるかまたはどちらもだとするとこの画面左は浅まし
事実14: もしなんらかの物が浅ましということはないとしたらこの画面左は限界利潤である
事実15: なんらかの物は限界利潤でないかあるいは浅ましない
事実16: もし「なんらかの物は限界利潤であるし更に御考え頂く」ということは偽であるならそれは御考え頂かない

仮説: この画面左は浅ましし更にＥＴＦである
1. 事実3と事実2から、推論1: "この画面左はＥＴＦである"が導かれる
2. 事実13と事実9から、推論2: "この画面左は浅まし"が導かれる
3. 推論1と推論2から、仮説が導かれる

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