「このタフ構文は得易い」ということは正しい
fact1: 仮になにがしかの物はＶＯＳでないとすると「それは教え為さらない一方で焼き難い」ということは嘘である fact2: 「このＤＩＥが行儀良いとしたらこのＤＩＥは接収する一方でそれはＶＯＳでない」ということは成り立つ fact3: 父親らしい物は逞しい fact4: このタフ構文は一覧表示でない fact5: あるものが教え為さるなら病没する fact6: このＤＩＥが接収するけどＶＯＳでないとすればこのチームカラーはＶＯＳだということはない fact7: もし「このチームカラーは苦汁でなくてその上一覧表示であるということはない」ということは偽であるとするとこのタフ構文は得易い fact8: 「何かは教え為さらないが焼き難い」ということは事実でないならばそれは教え為さる fact9: このＤＩＥは父親らしいししかも内遺跡である fact10: 「このＤＩＥは逞しいなら「このＤＩＥは行儀良い」ということは確かである」ということは確かだ fact11: もし仮にこのＤＩＥが焼き難くないとしたらＶＯＳでしかも病没する fact12: このタフ構文は一覧表示でないし得易くない fact13: 仮に「とある物は教え為さるがしかし同氏でない」ということは成り立たないならば同氏である fact14: もし仮にとある物は同氏であるとすれば「それは一覧表示でないが苦汁である」ということは間違っている fact15: その監査委員会は得易くなくて御懐妊でない fact16: 仮に「「「「一覧表示でないしまた苦汁である」ということは成り立つ」ということは誤りな」ものはある」ということは成り立つならばあのＸＹＺＺＹは得易いということはない fact17: もしこのチームカラーが病没するとするとこのタフ構文は同氏である fact18: もしこのＤＩＥは同氏であるなら「このチームカラーは苦汁でないし加えて一覧表示でない」ということは事実であるということはない
fact12 -> hypothesis;
fact12 -> hypothesis;
「このＸＹＺＺＹは得易くない」ということは偽でない
fact27 -> int1: このタフ構文は同氏だとすると「一覧表示でないしその上苦汁だ」ということは確かでない; fact23 -> int2: もしもこのチームカラーが教え為さるとすれば病没する; fact25 -> int3: 仮に「このチームカラーは教え為さるということはないけれどそれは焼き難い」ということは間違いであるならば「教え為さる」ということは成り立つ; fact20 -> int4: もしもこのチームカラーはＶＯＳでないとしたら「教え為さるということはないしそれは焼き難い」ということは偽である; fact24 -> int5: もし仮にこのＤＩＥが父親らしいならそれは逞しい; fact26 -> int6: このＤＩＥは父親らしい; int5 & int6 -> int7: このＤＩＥは逞しい; fact29 & int7 -> int8: このＤＩＥは行儀良い; fact22 & int8 -> int9: このＤＩＥは接収するがそれはＶＯＳであるということはない; fact21 & int9 -> int10: このチームカラーはＶＯＳでない; int4 & int10 -> int11: 「このチームカラーは教え為さらないけれど焼き難い」ということは成り立たない; int3 & int11 -> int12: このチームカラーは教え為さる; int2 & int12 -> int13: このチームカラーは病没する; fact19 & int13 -> int14: このタフ構文は同氏である; int1 & int14 -> int15: 「このタフ構文は一覧表示でない一方で苦汁だ」ということは成り立つということはない; int15 -> int16: 「「一覧表示だということはないしさらに苦汁だ」ということは成り立たない」物はある; int16 & fact28 -> hypothesis;
$facts$ = fact1: 仮になにがしかの物はＶＯＳでないとすると「それは教え為さらない一方で焼き難い」ということは嘘である fact2: 「このＤＩＥが行儀良いとしたらこのＤＩＥは接収する一方でそれはＶＯＳでない」ということは成り立つ fact3: 父親らしい物は逞しい fact4: このタフ構文は一覧表示でない fact5: あるものが教え為さるなら病没する fact6: このＤＩＥが接収するけどＶＯＳでないとすればこのチームカラーはＶＯＳだということはない fact7: もし「このチームカラーは苦汁でなくてその上一覧表示であるということはない」ということは偽であるとするとこのタフ構文は得易い fact8: 「何かは教え為さらないが焼き難い」ということは事実でないならばそれは教え為さる fact9: このＤＩＥは父親らしいししかも内遺跡である fact10: 「このＤＩＥは逞しいなら「このＤＩＥは行儀良い」ということは確かである」ということは確かだ fact11: もし仮にこのＤＩＥが焼き難くないとしたらＶＯＳでしかも病没する fact12: このタフ構文は一覧表示でないし得易くない fact13: 仮に「とある物は教え為さるがしかし同氏でない」ということは成り立たないならば同氏である fact14: もし仮にとある物は同氏であるとすれば「それは一覧表示でないが苦汁である」ということは間違っている fact15: その監査委員会は得易くなくて御懐妊でない fact16: 仮に「「「「一覧表示でないしまた苦汁である」ということは成り立つ」ということは誤りな」ものはある」ということは成り立つならばあのＸＹＺＺＹは得易いということはない fact17: もしこのチームカラーが病没するとするとこのタフ構文は同氏である fact18: もしこのＤＩＥは同氏であるなら「このチームカラーは苦汁でないし加えて一覧表示でない」ということは事実であるということはない ; $hypothesis$ = 「このタフ構文は得易い」ということは正しい ; $proof$ = 
fact12 -> hypothesis; __DISPROVED__
事実1: 仮になにがしかの物はＶＯＳでないとすると「それは教え為さらない一方で焼き難い」ということは嘘である
事実2: 「このＤＩＥが行儀良いとしたらこのＤＩＥは接収する一方でそれはＶＯＳでない」ということは成り立つ
事実3: 父親らしい物は逞しい
事実4: このタフ構文は一覧表示でない
事実5: あるものが教え為さるなら病没する
事実6: このＤＩＥが接収するけどＶＯＳでないとすればこのチームカラーはＶＯＳだということはない
事実7: もし「このチームカラーは苦汁でなくてその上一覧表示であるということはない」ということは偽であるとするとこのタフ構文は得易い
事実8: 「何かは教え為さらないが焼き難い」ということは事実でないならばそれは教え為さる
事実9: このＤＩＥは父親らしいししかも内遺跡である
事実10: 「このＤＩＥは逞しいなら「このＤＩＥは行儀良い」ということは確かである」ということは確かだ
事実11: もし仮にこのＤＩＥが焼き難くないとしたらＶＯＳでしかも病没する
事実12: このタフ構文は一覧表示でないし得易くない
事実13: 仮に「とある物は教え為さるがしかし同氏でない」ということは成り立たないならば同氏である
事実14: もし仮にとある物は同氏であるとすれば「それは一覧表示でないが苦汁である」ということは間違っている
事実15: その監査委員会は得易くなくて御懐妊でない
事実16: 仮に「「「「一覧表示でないしまた苦汁である」ということは成り立つ」ということは誤りな」ものはある」ということは成り立つならばあのＸＹＺＺＹは得易いということはない
事実17: もしこのチームカラーが病没するとするとこのタフ構文は同氏である
事実18: もしこのＤＩＥは同氏であるなら「このチームカラーは苦汁でないし加えて一覧表示でない」ということは事実であるということはない

仮説: 「このタフ構文は得易い」ということは正しい
1. 事実12から、仮説が否定される

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