このファイアーエムブレムは共生するということはない
fact1: もしも「なんらかのものは中期目標でない」ということは正しいならこのファイアーエムブレムは共生する fact2: 際どかない物は成年であるということはないがしかし消化し易い fact3: あの発生原因事実が通り易いならばあの腹部は財政融資でないかまたはそれは中期目標でないかあるいは両方ともである fact4: 「あの腹部は格子縞であるしまた生白い」ということは間違っている fact5: 「あの腹部は格子縞であるけどそれは生白くない」ということは成り立たない fact6: 仮に「あの腹部は格子縞である一方でそれは生白くない」ということは成り立たないとするとそれは中期目標でない fact7: もしも「性懲りだということはない」ものはあるとしたら「その住宅地図は水臭いし更に社会である」ということは間違いである fact8: ある物は中期目標だ fact9: 「共生する」ものはある fact10: 仮になにがしかの物が成年でない一方で消化し易いなら「このフィクションは三子でない」ということは成り立つ fact11: その不自由が消費レベルだとしたらあの発生原因事実は通り易い fact12: もし仮にあの腹部が生白いなら中期目標でない fact13: とあるものが寂しがるかまたはそれが馴染み易いとするとそれは性懲りでない fact14: もしもなんらかの物が社会でないならばそれは通り易いか消費レベルであるかまたは両方である fact15: もし仮になにがしかの物が三子でないならばこの付託は寂しがる fact16: 「このカタン編は中期目標だ」ということは本当でないとすればそれは共生するしそれは格子縞だ fact17: もし仮にあの腹部が財政融資でないとするとこのファイアーエムブレムは共生しない fact18: もし仮に「「水臭くてまた社会である」ということは事実と異なる」物はあるとすれば「その不自由は社会でない」ということは成り立つ fact19: 仮にその不自由が通り易いならあの発生原因事実は通り易い fact20: このメイルマンは際どかない
fact6 & fact5 -> int1: あの腹部は中期目標でない; int1 -> int2: 「中期目標でない」物はある; int2 & fact1 -> hypothesis;
fact6 & fact5 -> int1: ¬{B}{a}; int1 -> int2: (Ex): ¬{B}x; int2 & fact1 -> hypothesis;
「このファイアーエムブレムは共生しない」ということは確かである
fact30 -> int3: 仮に「その不自由は社会でない」ということは確かであるとしたら通り易いかあるいは消費レベルであるかあるいはどちらもだ; fact26 -> int4: 仮にこの付託は寂しがるかまたは馴染み易いか両方であるならばそれは性懲りでない; fact31 -> int5: もしこのメイルマンが際どかないとしたら成年でないけれど消化し易い; int5 & fact23 -> int6: このメイルマンは成年でない一方で消化し易い; int6 -> int7: 「成年でないがしかし消化し易い」ものはある; int7 & fact27 -> int8: このフィクションは三子でない; int8 -> int9: 「三子だということはない」物はある; int9 & fact24 -> int10: この付託は寂しがる; int10 -> int11: この付託は寂しがるかあるいは馴染み易い; int4 & int11 -> int12: 「この付託は性懲りだ」ということは成り立つということはない; int12 -> int13: あるものは性懲りであるということはない; int13 & fact29 -> int14: 「その住宅地図は水臭いしそれは社会である」ということは成り立たない; int14 -> int15: 「「水臭くて社会だ」ということは嘘である」物はある; int15 & fact32 -> int16: その不自由は社会でない; int3 & int16 -> int17: その不自由は通り易いかまたは消費レベルであるかもしくはどちらもだ; int17 & fact22 & fact21 -> int18: あの発生原因事実は通り易い; fact25 & int18 -> int19: あの腹部は財政融資でないかもしくは中期目標でない;
$facts$ = fact1: もしも「なんらかのものは中期目標でない」ということは正しいならこのファイアーエムブレムは共生する fact2: 際どかない物は成年であるということはないがしかし消化し易い fact3: あの発生原因事実が通り易いならばあの腹部は財政融資でないかまたはそれは中期目標でないかあるいは両方ともである fact4: 「あの腹部は格子縞であるしまた生白い」ということは間違っている fact5: 「あの腹部は格子縞であるけどそれは生白くない」ということは成り立たない fact6: 仮に「あの腹部は格子縞である一方でそれは生白くない」ということは成り立たないとするとそれは中期目標でない fact7: もしも「性懲りだということはない」ものはあるとしたら「その住宅地図は水臭いし更に社会である」ということは間違いである fact8: ある物は中期目標だ fact9: 「共生する」ものはある fact10: 仮になにがしかの物が成年でない一方で消化し易いなら「このフィクションは三子でない」ということは成り立つ fact11: その不自由が消費レベルだとしたらあの発生原因事実は通り易い fact12: もし仮にあの腹部が生白いなら中期目標でない fact13: とあるものが寂しがるかまたはそれが馴染み易いとするとそれは性懲りでない fact14: もしもなんらかの物が社会でないならばそれは通り易いか消費レベルであるかまたは両方である fact15: もし仮になにがしかの物が三子でないならばこの付託は寂しがる fact16: 「このカタン編は中期目標だ」ということは本当でないとすればそれは共生するしそれは格子縞だ fact17: もし仮にあの腹部が財政融資でないとするとこのファイアーエムブレムは共生しない fact18: もし仮に「「水臭くてまた社会である」ということは事実と異なる」物はあるとすれば「その不自由は社会でない」ということは成り立つ fact19: 仮にその不自由が通り易いならあの発生原因事実は通り易い fact20: このメイルマンは際どかない ; $hypothesis$ = このファイアーエムブレムは共生するということはない ; $proof$ = 
fact6 & fact5 -> int1: あの腹部は中期目標でない; int1 -> int2: 「中期目標でない」物はある; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もしも「なんらかのものは中期目標でない」ということは正しいならこのファイアーエムブレムは共生する
事実2: 際どかない物は成年であるということはないがしかし消化し易い
事実3: あの発生原因事実が通り易いならばあの腹部は財政融資でないかまたはそれは中期目標でないかあるいは両方ともである
事実4: 「あの腹部は格子縞であるしまた生白い」ということは間違っている
事実5: 「あの腹部は格子縞であるけどそれは生白くない」ということは成り立たない
事実6: 仮に「あの腹部は格子縞である一方でそれは生白くない」ということは成り立たないとするとそれは中期目標でない
事実7: もしも「性懲りだということはない」ものはあるとしたら「その住宅地図は水臭いし更に社会である」ということは間違いである
事実8: ある物は中期目標だ
事実9: 「共生する」ものはある
事実10: 仮になにがしかの物が成年でない一方で消化し易いなら「このフィクションは三子でない」ということは成り立つ
事実11: その不自由が消費レベルだとしたらあの発生原因事実は通り易い
事実12: もし仮にあの腹部が生白いなら中期目標でない
事実13: とあるものが寂しがるかまたはそれが馴染み易いとするとそれは性懲りでない
事実14: もしもなんらかの物が社会でないならばそれは通り易いか消費レベルであるかまたは両方である
事実15: もし仮になにがしかの物が三子でないならばこの付託は寂しがる
事実16: 「このカタン編は中期目標だ」ということは本当でないとすればそれは共生するしそれは格子縞だ
事実17: もし仮にあの腹部が財政融資でないとするとこのファイアーエムブレムは共生しない
事実18: もし仮に「「水臭くてまた社会である」ということは事実と異なる」物はあるとすれば「その不自由は社会でない」ということは成り立つ
事実19: 仮にその不自由が通り易いならあの発生原因事実は通り易い
事実20: このメイルマンは際どかない

仮説: このファイアーエムブレムは共生するということはない
1. 事実6と事実5から、推論1: "あの腹部は中期目標でない"が導かれる
2. 推論1から、推論2: "「中期目標でない」物はある"が導かれる
3. 推論2と事実1から、仮説が否定される

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