あの負担付き贈与は弾き易くない
fact1: あの負担付き贈与は戦い抜くし生まれ難い fact2: もし「何らかのものは欲深い」ということは確かであるなら「それは明後日でないしそれにそれは除籍しない」ということは間違いである fact3: 仮に「切れ落ちる」物があるとしたらあの御責めは受け易いし除籍する fact4: 仮に受け易いものがあるならあの御責めは除籍する fact5: とあるものは切れ落ちる fact6: あの御責めは弾き易い fact7: 「あの外付けは弾き易い」ということは本当だ fact8: もしもあの御責めが弾き易いならあの負担付き贈与は除籍する fact9: もし「「弾き易い」ということは間違いでない」物があるとするとあの御責めは除籍する fact10: とある物は弾き易い fact11: もし仮にあの御責めは受け易いならば「あの負担付き贈与は弾き易い」ということは偽でない fact12: 「紳士らしい」物はある fact13: 何もかもは欲深い fact14: あの負担付き贈与は受け易い fact15: あの負担付き贈与は除籍する fact16: もし「「除籍する」ということは成り立つ」ものがあるとしたらあの御責めは弾き易い fact17: 「あの負担付き贈与は対戦する」ということは正しい
fact5 & fact3 -> int1: 「あの御責めは受け易くてまた除籍する」ということは本当である; int1 -> int2: あの御責めは受け易い; int2 & fact11 -> hypothesis;
fact5 & fact3 -> int1: ({B}{a} & {C}{a}); int1 -> int2: {B}{a}; int2 & fact11 -> hypothesis;
あの御責めは弾き易い
fact19 -> int3: もしも「この公益目的は欲深い」ということは成り立てば「それは明後日でなくて更に除籍するということはない」ということは偽だ; fact18 -> int4: この公益目的は欲深い; int3 & int4 -> int5: 「「この公益目的は明後日でなくて加えてそれは除籍するということはない」ということは事実であるということはない」ということは正しい; int5 -> int6: それは明後日でなくてかつ除籍しないというものはない; int6 -> int7: 「「このハーブティーは明後日でないしおまけに除籍しない」ということは事実である」ということは成り立つということはない;
$facts$ = fact1: あの負担付き贈与は戦い抜くし生まれ難い fact2: もし「何らかのものは欲深い」ということは確かであるなら「それは明後日でないしそれにそれは除籍しない」ということは間違いである fact3: 仮に「切れ落ちる」物があるとしたらあの御責めは受け易いし除籍する fact4: 仮に受け易いものがあるならあの御責めは除籍する fact5: とあるものは切れ落ちる fact6: あの御責めは弾き易い fact7: 「あの外付けは弾き易い」ということは本当だ fact8: もしもあの御責めが弾き易いならあの負担付き贈与は除籍する fact9: もし「「弾き易い」ということは間違いでない」物があるとするとあの御責めは除籍する fact10: とある物は弾き易い fact11: もし仮にあの御責めは受け易いならば「あの負担付き贈与は弾き易い」ということは偽でない fact12: 「紳士らしい」物はある fact13: 何もかもは欲深い fact14: あの負担付き贈与は受け易い fact15: あの負担付き贈与は除籍する fact16: もし「「除籍する」ということは成り立つ」ものがあるとしたらあの御責めは弾き易い fact17: 「あの負担付き贈与は対戦する」ということは正しい ; $hypothesis$ = あの負担付き贈与は弾き易くない ; $proof$ = 
fact5 & fact3 -> int1: 「あの御責めは受け易くてまた除籍する」ということは本当である; int1 -> int2: あの御責めは受け易い; int2 & fact11 -> hypothesis; __DISPROVED__
事実1: あの負担付き贈与は戦い抜くし生まれ難い
事実2: もし「何らかのものは欲深い」ということは確かであるなら「それは明後日でないしそれにそれは除籍しない」ということは間違いである
事実3: 仮に「切れ落ちる」物があるとしたらあの御責めは受け易いし除籍する
事実4: 仮に受け易いものがあるならあの御責めは除籍する
事実5: とあるものは切れ落ちる
事実6: あの御責めは弾き易い
事実7: 「あの外付けは弾き易い」ということは本当だ
事実8: もしもあの御責めが弾き易いならあの負担付き贈与は除籍する
事実9: もし「「弾き易い」ということは間違いでない」物があるとするとあの御責めは除籍する
事実10: とある物は弾き易い
事実11: もし仮にあの御責めは受け易いならば「あの負担付き贈与は弾き易い」ということは偽でない
事実12: 「紳士らしい」物はある
事実13: 何もかもは欲深い
事実14: あの負担付き贈与は受け易い
事実15: あの負担付き贈与は除籍する
事実16: もし「「除籍する」ということは成り立つ」ものがあるとしたらあの御責めは弾き易い
事実17: 「あの負担付き贈与は対戦する」ということは正しい

仮説: あの負担付き贈与は弾き易くない
1. 事実5と事実3から、推論1: "「あの御責めは受け易くてまた除籍する」ということは本当である"が導かれる
2. 推論1から、推論2: "あの御責めは受け易い"が導かれる
3. 推論2と事実11から、仮説が否定される

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