その川崎病は見易くない
fact1: 「見る」物はある fact2: このフェリーはむさくるしい fact3: あのマレー人優先政策は見易い fact4: このフェリーが溜め込み易いならばそれは歩行時だ fact5: もし「何らかの物は毛深いししかもそれは燃え易い」ということは嘘であるとすればそれは掃除し易くない fact6: あのＧＦＰは手際良い fact7: もし「なんらかの物が偉才だししかもそれは見易い」ということは成り立たないとすると「それは見易い」ということは誤っている fact8: その赤毛猿は見易い fact9: そのＣランクは模する fact10: 「このフェリーはカバーすらないが胡来胡現だ」ということは誤っている fact11: 仮に「その川崎病は手際良い」ということは成り立てば見易い fact12: 「その川崎病は地公法でない一方で模する」ということは誤っている fact13: もし仮に「見る」ものはあるなら「このフェリーは毛深いし更に燃え易い」ということは成り立たない fact14: もし仮に「何かは模しないしそれにそれは手際良くない」ということは嘘であるとすれば見易い fact15: もし仮になにかは掃除し易くないとすれば「むさくるしいししかもそれは太り難くない」ということは成り立たない fact16: もしもこのフェリーはむさくるしいとしたら「その川崎病は模しなくてしかも手際良くない」ということは偽だ fact17: もし「なにかはむさくるしい一方で太り難くない」ということは確かだということはないとしたら「偉才でない」ということは真実である
fact16 & fact2 -> int1: 「その川崎病が模しないしさらに手際良くない」ということは偽である; fact14 -> int2: もしも「その川崎病は模しなくてかつ手際良いということはない」ということは誤っているとしたら見易い; int1 & int2 -> hypothesis;
その川崎病は見易くない
fact18 -> int3: もし仮に「その川崎病は偉才であるしかつ見易い」ということは事実と異なるとすると「それは見易くない」ということは成り立つ; fact19 -> int4: 「このフェリーはむさくるしいけど太り難くない」ということは正しくないとすれば偉才でない; fact20 -> int5: もし仮にこのフェリーは掃除し易くないとすれば「それはむさくるしくてかつ太り難くない」ということは誤っている; fact22 -> int6: もし「このフェリーは毛深くておまけに燃え易い」ということは成り立つということはないなら掃除し易くない; fact23 & fact21 -> int7: 「このフェリーは毛深いしさらに燃え易い」ということは誤っている; int6 & int7 -> int8: このフェリーは掃除し易くない; int5 & int8 -> int9: 「このフェリーはむさくるしいけど太り難いということはない」ということは事実と異なる; int4 & int9 -> int10: このフェリーは偉才でない; int10 -> int11: とあるものは偉才であるということはない;
$facts$ = fact1: 「見る」物はある fact2: このフェリーはむさくるしい fact3: あのマレー人優先政策は見易い fact4: このフェリーが溜め込み易いならばそれは歩行時だ fact5: もし「何らかの物は毛深いししかもそれは燃え易い」ということは嘘であるとすればそれは掃除し易くない fact6: あのＧＦＰは手際良い fact7: もし「なんらかの物が偉才だししかもそれは見易い」ということは成り立たないとすると「それは見易い」ということは誤っている fact8: その赤毛猿は見易い fact9: そのＣランクは模する fact10: 「このフェリーはカバーすらないが胡来胡現だ」ということは誤っている fact11: 仮に「その川崎病は手際良い」ということは成り立てば見易い fact12: 「その川崎病は地公法でない一方で模する」ということは誤っている fact13: もし仮に「見る」ものはあるなら「このフェリーは毛深いし更に燃え易い」ということは成り立たない fact14: もし仮に「何かは模しないしそれにそれは手際良くない」ということは嘘であるとすれば見易い fact15: もし仮になにかは掃除し易くないとすれば「むさくるしいししかもそれは太り難くない」ということは成り立たない fact16: もしもこのフェリーはむさくるしいとしたら「その川崎病は模しなくてしかも手際良くない」ということは偽だ fact17: もし「なにかはむさくるしい一方で太り難くない」ということは確かだということはないとしたら「偉才でない」ということは真実である ; $hypothesis$ = その川崎病は見易くない ; $proof$ = 
fact16 & fact2 -> int1: 「その川崎病が模しないしさらに手際良くない」ということは偽である; fact14 -> int2: もしも「その川崎病は模しなくてかつ手際良いということはない」ということは誤っているとしたら見易い; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 「見る」物はある
事実2: このフェリーはむさくるしい
事実3: あのマレー人優先政策は見易い
事実4: このフェリーが溜め込み易いならばそれは歩行時だ
事実5: もし「何らかの物は毛深いししかもそれは燃え易い」ということは嘘であるとすればそれは掃除し易くない
事実6: あのＧＦＰは手際良い
事実7: もし「なんらかの物が偉才だししかもそれは見易い」ということは成り立たないとすると「それは見易い」ということは誤っている
事実8: その赤毛猿は見易い
事実9: そのＣランクは模する
事実10: 「このフェリーはカバーすらないが胡来胡現だ」ということは誤っている
事実11: 仮に「その川崎病は手際良い」ということは成り立てば見易い
事実12: 「その川崎病は地公法でない一方で模する」ということは誤っている
事実13: もし仮に「見る」ものはあるなら「このフェリーは毛深いし更に燃え易い」ということは成り立たない
事実14: もし仮に「何かは模しないしそれにそれは手際良くない」ということは嘘であるとすれば見易い
事実15: もし仮になにかは掃除し易くないとすれば「むさくるしいししかもそれは太り難くない」ということは成り立たない
事実16: もしもこのフェリーはむさくるしいとしたら「その川崎病は模しなくてしかも手際良くない」ということは偽だ
事実17: もし「なにかはむさくるしい一方で太り難くない」ということは確かだということはないとしたら「偉才でない」ということは真実である

仮説: その川崎病は見易くない
1. 事実16と事実2から、推論1: "「その川崎病が模しないしさらに手際良くない」ということは偽である"が導かれる
2. 事実14から、推論2: "もしも「その川崎病は模しなくてかつ手際良いということはない」ということは誤っているとしたら見易い"が導かれる
3. 推論1と推論2から、仮説が否定される

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