そのＡＶＲは丸くない一方で置き易い
fact1: その艦艇は置き易くないとすると「そのＡＶＲは丸くないけどそれは置き易い」ということは嘘だ fact2: 「その艦艇は押さえ難くないけれど遣り為さる」ということは正しくない fact3: もしもあの警察軍が面映ゆかないならば丸いしそれに高脂血症だ fact4: もしも「その厳密さは毟る」ということは本当だとすれば「その艦艇は押さえ難いけれどそれは遣り為さらない」ということは成り立たない fact5: もしその艦艇は毟らないとしたら「置き易いが遣り為さらない」ということは誤りだ fact6: 「その厳密さは毟る」ということは成り立つ fact7: 「「その艦艇は押さえ難いけれど遣り為さるということはない」ということは成り立つ」ということは成り立つということはない fact8: もしその艦艇は置き易くないならば「そのＡＶＲは丸くておまけに置き易い」ということは誤っている fact9: 「そのＡＶＲは置き易くないし押さえ難いということはない」ということは成り立たない fact10: もしその厳密さは毟るとしたら「その艦艇は押さえ難いということはない一方で遣り為さる」ということは事実だということはない fact11: 仮に「「その艦艇は押さえ難くないしおまけにそれは遣り為さらない」ということは成り立たない」ということは成り立つとするとそれは置き易いということはない fact12: 「そのＡＶＲは丸くてまたそれは置き易い」ということは嘘である fact13: あの警察軍は面映ゆかない fact14: もし仮にその厳密さは毟るとしたら「その艦艇は押さえ難くないしその上遣り為さらない」ということは嘘である
fact14 & fact6 -> int1: 「その艦艇は押さえ難くなくてかつ遣り為さらない」ということは成り立たない; int1 & fact11 -> int2: その艦艇は置き易くない; int2 & fact1 -> hypothesis;
「その厳密さは遣り為さる」ということは成り立つ
fact17 & fact15 -> int3: あの警察軍は丸い高脂血症である; int3 -> int4: あの警察軍は丸い; int4 -> int5: 「丸い」ものはある;
$facts$ = fact1: その艦艇は置き易くないとすると「そのＡＶＲは丸くないけどそれは置き易い」ということは嘘だ fact2: 「その艦艇は押さえ難くないけれど遣り為さる」ということは正しくない fact3: もしもあの警察軍が面映ゆかないならば丸いしそれに高脂血症だ fact4: もしも「その厳密さは毟る」ということは本当だとすれば「その艦艇は押さえ難いけれどそれは遣り為さらない」ということは成り立たない fact5: もしその艦艇は毟らないとしたら「置き易いが遣り為さらない」ということは誤りだ fact6: 「その厳密さは毟る」ということは成り立つ fact7: 「「その艦艇は押さえ難いけれど遣り為さるということはない」ということは成り立つ」ということは成り立つということはない fact8: もしその艦艇は置き易くないならば「そのＡＶＲは丸くておまけに置き易い」ということは誤っている fact9: 「そのＡＶＲは置き易くないし押さえ難いということはない」ということは成り立たない fact10: もしその厳密さは毟るとしたら「その艦艇は押さえ難いということはない一方で遣り為さる」ということは事実だということはない fact11: 仮に「「その艦艇は押さえ難くないしおまけにそれは遣り為さらない」ということは成り立たない」ということは成り立つとするとそれは置き易いということはない fact12: 「そのＡＶＲは丸くてまたそれは置き易い」ということは嘘である fact13: あの警察軍は面映ゆかない fact14: もし仮にその厳密さは毟るとしたら「その艦艇は押さえ難くないしその上遣り為さらない」ということは嘘である ; $hypothesis$ = そのＡＶＲは丸くない一方で置き易い ; $proof$ = 
fact14 & fact6 -> int1: 「その艦艇は押さえ難くなくてかつ遣り為さらない」ということは成り立たない; int1 & fact11 -> int2: その艦艇は置き易くない; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: その艦艇は置き易くないとすると「そのＡＶＲは丸くないけどそれは置き易い」ということは嘘だ
事実2: 「その艦艇は押さえ難くないけれど遣り為さる」ということは正しくない
事実3: もしもあの警察軍が面映ゆかないならば丸いしそれに高脂血症だ
事実4: もしも「その厳密さは毟る」ということは本当だとすれば「その艦艇は押さえ難いけれどそれは遣り為さらない」ということは成り立たない
事実5: もしその艦艇は毟らないとしたら「置き易いが遣り為さらない」ということは誤りだ
事実6: 「その厳密さは毟る」ということは成り立つ
事実7: 「「その艦艇は押さえ難いけれど遣り為さるということはない」ということは成り立つ」ということは成り立つということはない
事実8: もしその艦艇は置き易くないならば「そのＡＶＲは丸くておまけに置き易い」ということは誤っている
事実9: 「そのＡＶＲは置き易くないし押さえ難いということはない」ということは成り立たない
事実10: もしその厳密さは毟るとしたら「その艦艇は押さえ難いということはない一方で遣り為さる」ということは事実だということはない
事実11: 仮に「「その艦艇は押さえ難くないしおまけにそれは遣り為さらない」ということは成り立たない」ということは成り立つとするとそれは置き易いということはない
事実12: 「そのＡＶＲは丸くてまたそれは置き易い」ということは嘘である
事実13: あの警察軍は面映ゆかない
事実14: もし仮にその厳密さは毟るとしたら「その艦艇は押さえ難くないしその上遣り為さらない」ということは嘘である

仮説: そのＡＶＲは丸くない一方で置き易い
1. 事実14と事実6から、推論1: "「その艦艇は押さえ難くなくてかつ遣り為さらない」ということは成り立たない"が導かれる
2. 推論1と事実11から、推論2: "その艦艇は置き易くない"が導かれる
3. 推論2と事実1から、仮説が否定される

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