「そのステイヤーズＳは捕らわれ易いししかもＤＡＺだ」ということは間違いである
fact1: もし仮になにかは退塾しないなら「捕らわれ易いしさらにＤＡＺである」ということは真実である fact2: もしもあの保安がずきずきするとしたらこのサーモスタットは馴染み深いがそれは乗り続けない fact3: もし馴染み深いものが乗り続けないならば退塾しない fact4: もしこのサーモスタットが捕らわれ易いならばあのステイヤーズＳは捕らわれ易い fact5: 「「「Ｍツーだ」ということは成り立つ」ものはある」ということは事実だとすれば「そのステイヤーズＳはＤＡＺだし疲れ易い」ということは誤りだ fact6: もしもなにかは県病院だとすればそれは回答する fact7: もしこのサーモスタットが捕らわれ易いとすればあのステイヤーズＳは県病院である fact8: 「「捕らわれ易い」物はある」ということは成り立てば「そのステイヤーズＳは難しくてさらにそれは参陣する」ということは事実と異なる fact9: もし「あの保安はずきずきするかもしくは県病院でないかまたは両方だ」ということは間違っているなら「このサーモスタットは県病院でない」ということは成り立つ fact10: あのカード可は機能し始めないかまたはマプロチリンであるかもしくは両方である fact11: もし仮に何らかの物は馴染み深いとすれば「ずきずきするかあるいは県病院でないかもしくはどちらもだ」ということは成り立たない fact12: もしも「県病院である」ものはあるなら「そのステイヤーズＳは捕らわれ易いしまたＤＡＺである」ということは本当でない fact13: もし「あの保安はマプロチリンである」ということは本当ならそれはずきずきする fact14: もしなにかは県病院だということはないならそれは捕らわれ易いかもしくは退塾するかどちらもだ fact15: 仮にこのサーモスタットが退塾するとしたらそのステイヤーズＳは捕らわれ易い fact16: 「県病院な」ものはある
fact16 & fact12 -> hypothesis;
fact16 & fact12 -> hypothesis;
そのステイヤーズＳは捕らわれ易いししかもＤＡＺである
fact19 -> int1: もしもこのサーモスタットが県病院だということはないとしたらそれは捕らわれ易いかもしくは退塾するかもしくは両方ともだ; fact20 -> int2: もし「あの保安は馴染み深い」ということは成り立つなら「それはずきずきするかあるいはそれは県病院だということはないかあるいは両方である」ということは成り立たない; fact21 -> int3: ある物は機能し始めないかもしくはマプロチリンであるかどちらもである;
$facts$ = fact1: もし仮になにかは退塾しないなら「捕らわれ易いしさらにＤＡＺである」ということは真実である fact2: もしもあの保安がずきずきするとしたらこのサーモスタットは馴染み深いがそれは乗り続けない fact3: もし馴染み深いものが乗り続けないならば退塾しない fact4: もしこのサーモスタットが捕らわれ易いならばあのステイヤーズＳは捕らわれ易い fact5: 「「「Ｍツーだ」ということは成り立つ」ものはある」ということは事実だとすれば「そのステイヤーズＳはＤＡＺだし疲れ易い」ということは誤りだ fact6: もしもなにかは県病院だとすればそれは回答する fact7: もしこのサーモスタットが捕らわれ易いとすればあのステイヤーズＳは県病院である fact8: 「「捕らわれ易い」物はある」ということは成り立てば「そのステイヤーズＳは難しくてさらにそれは参陣する」ということは事実と異なる fact9: もし「あの保安はずきずきするかもしくは県病院でないかまたは両方だ」ということは間違っているなら「このサーモスタットは県病院でない」ということは成り立つ fact10: あのカード可は機能し始めないかまたはマプロチリンであるかもしくは両方である fact11: もし仮に何らかの物は馴染み深いとすれば「ずきずきするかあるいは県病院でないかもしくはどちらもだ」ということは成り立たない fact12: もしも「県病院である」ものはあるなら「そのステイヤーズＳは捕らわれ易いしまたＤＡＺである」ということは本当でない fact13: もし「あの保安はマプロチリンである」ということは本当ならそれはずきずきする fact14: もしなにかは県病院だということはないならそれは捕らわれ易いかもしくは退塾するかどちらもだ fact15: 仮にこのサーモスタットが退塾するとしたらそのステイヤーズＳは捕らわれ易い fact16: 「県病院な」ものはある ; $hypothesis$ = 「そのステイヤーズＳは捕らわれ易いししかもＤＡＺだ」ということは間違いである ; $proof$ = 
fact16 & fact12 -> hypothesis; __PROVED__
事実1: もし仮になにかは退塾しないなら「捕らわれ易いしさらにＤＡＺである」ということは真実である
事実2: もしもあの保安がずきずきするとしたらこのサーモスタットは馴染み深いがそれは乗り続けない
事実3: もし馴染み深いものが乗り続けないならば退塾しない
事実4: もしこのサーモスタットが捕らわれ易いならばあのステイヤーズＳは捕らわれ易い
事実5: 「「「Ｍツーだ」ということは成り立つ」ものはある」ということは事実だとすれば「そのステイヤーズＳはＤＡＺだし疲れ易い」ということは誤りだ
事実6: もしもなにかは県病院だとすればそれは回答する
事実7: もしこのサーモスタットが捕らわれ易いとすればあのステイヤーズＳは県病院である
事実8: 「「捕らわれ易い」物はある」ということは成り立てば「そのステイヤーズＳは難しくてさらにそれは参陣する」ということは事実と異なる
事実9: もし「あの保安はずきずきするかもしくは県病院でないかまたは両方だ」ということは間違っているなら「このサーモスタットは県病院でない」ということは成り立つ
事実10: あのカード可は機能し始めないかまたはマプロチリンであるかもしくは両方である
事実11: もし仮に何らかの物は馴染み深いとすれば「ずきずきするかあるいは県病院でないかもしくはどちらもだ」ということは成り立たない
事実12: もしも「県病院である」ものはあるなら「そのステイヤーズＳは捕らわれ易いしまたＤＡＺである」ということは本当でない
事実13: もし「あの保安はマプロチリンである」ということは本当ならそれはずきずきする
事実14: もしなにかは県病院だということはないならそれは捕らわれ易いかもしくは退塾するかどちらもだ
事実15: 仮にこのサーモスタットが退塾するとしたらそのステイヤーズＳは捕らわれ易い
事実16: 「県病院な」ものはある

仮説: 「そのステイヤーズＳは捕らわれ易いししかもＤＡＺだ」ということは間違いである
1. 事実16と事実12から、仮説が導かれる

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