この住所氏名はメッセージカードでおまけに剥がれ易い
fact1: もし「何らかの物はＩＦＡであるがしかし土地工作物でない」ということは誤っているとすれば底質でない fact2: この住所氏名は優し過ぎないならばそれはメッセージカードである fact3: このロマンチシズムは優し過ぎるということはない fact4: 歩き易くない物は殺人動機である fact5: その中国問題は危険分子でない fact6: 「もし仮に「底質でない」ものがあるならこの熱狂は法主絶対論でなくて危険分子でない」ということは成り立つ fact7: とある物が凱旋しないとしたらそれは剥がれ易い fact8: この住所氏名は森銑三著・前掲書であるし集め易い fact9: もしもその中国問題は危険分子でないなら「この住所氏名はハンドガンでないが優し過ぎる」ということは偽である fact10: その流し打ちは依頼返却でないかまたはそれは事情説明であるかもしくはどちらもだ fact11: 「この住所氏名は法主絶対論だということはない」ということは成り立つとしたら「その中国問題はハンドガンでない一方で危険分子だ」ということは成り立たない fact12: もしもその中国問題は凱旋しないとすれば「「この住所氏名はメッセージカードであるししかも剥がれ易い」ということは真実である」ということは誤っている fact13: この住所氏名は法主絶対論であるけれどそれは凱旋しない fact14: もし何かは依頼返却でないかまたはそれは事情説明であるとすれば依頼返却でない fact15: その中国問題は苦いしそれに剥がれ易い fact16: 「ある物は優し過ぎない」ということは事実ならばメッセージカードだ fact17: その中国問題はメッセージカードだということはない fact18: この住所氏名は法主絶対論だ fact19: 仮にとあるものは依頼返却でないならば「それはＩＦＡであるが土地工作物であるということはない」ということは嘘だ fact20: この住所氏名は事務所等であるし書き易い fact21: もし「とあるものはハンドガンでない一方で優し過ぎる」ということは成り立たないとしたら「メッセージカードだ」ということは正しい fact22: 「あの主侍医システムは増生しないけれど表現し難い」ということは成り立たない
fact21 -> int1: もし「この住所氏名はハンドガンでないがしかし優し過ぎる」ということは誤りだとすればメッセージカードだ; fact5 & fact9 -> int2: 「この住所氏名はハンドガンであるということはない一方で優し過ぎる」ということは間違っている; int1 & int2 -> int3: この住所氏名はメッセージカードである; fact13 -> int4: この住所氏名は凱旋するということはない; fact7 -> int5: この住所氏名が凱旋しないとしたら剥がれ易い; int4 & int5 -> int6: この住所氏名は剥がれ易い; int3 & int6 -> hypothesis;
fact21 -> int1: ¬(¬{AA}{aa} & {AB}{aa}) -> {B}{aa}; fact5 & fact9 -> int2: ¬(¬{AA}{aa} & {AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact13 -> int4: ¬{C}{aa}; fact7 -> int5: ¬{C}{aa} -> {A}{aa}; int4 & int5 -> int6: {A}{aa}; int3 & int6 -> hypothesis;
「この住所氏名がメッセージカードだし剥がれ易い」ということは成り立つということはない
fact28 -> int7: もし仮に「その流し打ちはＩＦＡだ一方でそれは土地工作物でない」ということは誤っているとしたらそれは底質でない; fact23 -> int8: 仮にその流し打ちは依頼返却でないとすれば「ＩＦＡだしそれは土地工作物でない」ということは誤っている; fact24 -> int9: もし仮にその流し打ちは依頼返却でないかあるいは事情説明であるかもしくは両方ともであるとしたら「依頼返却だということはない」ということは確かである; int9 & fact27 -> int10: その流し打ちは依頼返却でない; int8 & int10 -> int11: 「その流し打ちはＩＦＡだがしかしそれは土地工作物でない」ということは成り立たない; int7 & int11 -> int12: その流し打ちは底質でない; int12 -> int13: 「「底質でない」ということは成り立つ」物はある; int13 & fact26 -> int14: この熱狂は法主絶対論でなくて危険分子でない; int14 -> int15: 何かは法主絶対論でなくてその上危険分子でない;
$facts$ = fact1: もし「何らかの物はＩＦＡであるがしかし土地工作物でない」ということは誤っているとすれば底質でない fact2: この住所氏名は優し過ぎないならばそれはメッセージカードである fact3: このロマンチシズムは優し過ぎるということはない fact4: 歩き易くない物は殺人動機である fact5: その中国問題は危険分子でない fact6: 「もし仮に「底質でない」ものがあるならこの熱狂は法主絶対論でなくて危険分子でない」ということは成り立つ fact7: とある物が凱旋しないとしたらそれは剥がれ易い fact8: この住所氏名は森銑三著・前掲書であるし集め易い fact9: もしもその中国問題は危険分子でないなら「この住所氏名はハンドガンでないが優し過ぎる」ということは偽である fact10: その流し打ちは依頼返却でないかまたはそれは事情説明であるかもしくはどちらもだ fact11: 「この住所氏名は法主絶対論だということはない」ということは成り立つとしたら「その中国問題はハンドガンでない一方で危険分子だ」ということは成り立たない fact12: もしもその中国問題は凱旋しないとすれば「「この住所氏名はメッセージカードであるししかも剥がれ易い」ということは真実である」ということは誤っている fact13: この住所氏名は法主絶対論であるけれどそれは凱旋しない fact14: もし何かは依頼返却でないかまたはそれは事情説明であるとすれば依頼返却でない fact15: その中国問題は苦いしそれに剥がれ易い fact16: 「ある物は優し過ぎない」ということは事実ならばメッセージカードだ fact17: その中国問題はメッセージカードだということはない fact18: この住所氏名は法主絶対論だ fact19: 仮にとあるものは依頼返却でないならば「それはＩＦＡであるが土地工作物であるということはない」ということは嘘だ fact20: この住所氏名は事務所等であるし書き易い fact21: もし「とあるものはハンドガンでない一方で優し過ぎる」ということは成り立たないとしたら「メッセージカードだ」ということは正しい fact22: 「あの主侍医システムは増生しないけれど表現し難い」ということは成り立たない ; $hypothesis$ = この住所氏名はメッセージカードでおまけに剥がれ易い ; $proof$ = 
fact21 -> int1: もし「この住所氏名はハンドガンでないがしかし優し過ぎる」ということは誤りだとすればメッセージカードだ; fact5 & fact9 -> int2: 「この住所氏名はハンドガンであるということはない一方で優し過ぎる」ということは間違っている; int1 & int2 -> int3: この住所氏名はメッセージカードである; fact13 -> int4: この住所氏名は凱旋するということはない; fact7 -> int5: この住所氏名が凱旋しないとしたら剥がれ易い; int4 & int5 -> int6: この住所氏名は剥がれ易い; int3 & int6 -> hypothesis; __PROVED__
事実1: もし「何らかの物はＩＦＡであるがしかし土地工作物でない」ということは誤っているとすれば底質でない
事実2: この住所氏名は優し過ぎないならばそれはメッセージカードである
事実3: このロマンチシズムは優し過ぎるということはない
事実4: 歩き易くない物は殺人動機である
事実5: その中国問題は危険分子でない
事実6: 「もし仮に「底質でない」ものがあるならこの熱狂は法主絶対論でなくて危険分子でない」ということは成り立つ
事実7: とある物が凱旋しないとしたらそれは剥がれ易い
事実8: この住所氏名は森銑三著・前掲書であるし集め易い
事実9: もしもその中国問題は危険分子でないなら「この住所氏名はハンドガンでないが優し過ぎる」ということは偽である
事実10: その流し打ちは依頼返却でないかまたはそれは事情説明であるかもしくはどちらもだ
事実11: 「この住所氏名は法主絶対論だということはない」ということは成り立つとしたら「その中国問題はハンドガンでない一方で危険分子だ」ということは成り立たない
事実12: もしもその中国問題は凱旋しないとすれば「「この住所氏名はメッセージカードであるししかも剥がれ易い」ということは真実である」ということは誤っている
事実13: この住所氏名は法主絶対論であるけれどそれは凱旋しない
事実14: もし何かは依頼返却でないかまたはそれは事情説明であるとすれば依頼返却でない
事実15: その中国問題は苦いしそれに剥がれ易い
事実16: 「ある物は優し過ぎない」ということは事実ならばメッセージカードだ
事実17: その中国問題はメッセージカードだということはない
事実18: この住所氏名は法主絶対論だ
事実19: 仮にとあるものは依頼返却でないならば「それはＩＦＡであるが土地工作物であるということはない」ということは嘘だ
事実20: この住所氏名は事務所等であるし書き易い
事実21: もし「とあるものはハンドガンでない一方で優し過ぎる」ということは成り立たないとしたら「メッセージカードだ」ということは正しい
事実22: 「あの主侍医システムは増生しないけれど表現し難い」ということは成り立たない

仮説: この住所氏名はメッセージカードでおまけに剥がれ易い
1. 事実21から、推論1: "もし「この住所氏名はハンドガンでないがしかし優し過ぎる」ということは誤りだとすればメッセージカードだ"が導かれる
2. 事実5と事実9から、推論2: "「この住所氏名はハンドガンであるということはない一方で優し過ぎる」ということは間違っている"が導かれる
3. 推論1と推論2から、推論3: "この住所氏名はメッセージカードである"が導かれる
4. 事実13から、推論4: "この住所氏名は凱旋するということはない"が導かれる
5. 事実7から、推論5: "この住所氏名が凱旋しないとしたら剥がれ易い"が導かれる
6. 推論4と推論5から、推論6: "この住所氏名は剥がれ易い"が導かれる
7. 推論3と推論6から、仮説が導かれる

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