その市販ソフトは子供っぽくない
fact1: 仮に何かは願い続けないかもしくは本号違反であるということはないならば「子供っぽい」ということは本当である fact2: 仮になんらかの物は非薬物療法だということはないならば「それはＩＴ化工事でその上機器等である」ということは嘘である fact3: 仮に「その市販ソフトは宿神でないか立て難いかもしくは両方である」ということは誤りだとすればそれは急増しない fact4: その市販ソフトは首脳部だということはない fact5: もしも「木の芽な」物はあるとすれば「このビオトープは牧畜でないしその上それは非薬物療法でない」ということは成り立たない fact6: もし仮になにかは本号違反でないならば願い続けるしそれは子供っぽい fact7: 支払い管理は牧畜だけど木の芽でない fact8: もし仮に支払い管理があるとするとその前室西壁は木の芽である fact9: このビオトープが非薬物療法であるとすればその市販ソフトは機器等であるけれどＩＴ化工事でない fact10: その市販ソフトは願い続ければ「それは宿神だということはないかもしくは首脳部であるかもしくは両方ともである」ということは成り立たない fact11: 「このビオトープは牧畜でなくて更に非薬物療法でない」ということは成り立たないとするとその市販ソフトは非薬物療法でない fact12: もし仮に「あの司祭が差し出はましくらないかまたはそれは運動会であるかまたは両方である」ということは間違っているとしたらそれは衆参であるということはない fact13: もし仮に何らかの物が気高しないとすると支払い管理だしそれに皮肉っぽい fact14: 資本準備金は人恋しいけれど勇ましかない fact15: もしも「あの点検前は分取しないかあるいは支払い配当金でないかどちらもだ」ということは成り立てばこの終末論は支払い配当金だ fact16: 「もし「その市販ソフトはＩＴ化工事であるし機器等だ」ということは嘘だとすればあのトムキャットは本号違反でない」ということは誤りであるということはない fact17: このＨＲは解け易くない fact18: もし「その市販ソフトは宿神でないかもしくはそれは首脳部であるかあるいはどちらもだ」ということは誤りであるならば子供っぽくない fact19: その市販ソフトは願い続ける fact20: あの費用面は願い続ける fact21: もしその前室西壁が牧畜であるが木の芽でないとしたらこのビオトープは非薬物療法だ fact22: もしこのＨＲが解け易くないとすると資本準備金であるしさらに運動会だ fact23: 仮に人恋しい物が勇ましかないならばあの点検前は分取しない fact24: この終末論が支払い配当金だとしたら気高しない
fact10 & fact19 -> int1: 「その市販ソフトは宿神でないかあるいはそれは首脳部だ」ということは事実でない; int1 & fact18 -> hypothesis;
fact10 & fact19 -> int1: ¬(¬{AA}{a} v {AB}{a}); int1 & fact18 -> hypothesis;
そのトムキャットは願い続ける
fact35 -> int2: 仮にそのトムキャットが本号違反でないならそれは願い続けるし加えて子供っぽい; fact33 -> int3: もしもその市販ソフトは非薬物療法でないなら「それはＩＴ化工事であるしさらに機器等だ」ということは偽だ; fact36 -> int4: もし仮にこの終末論が気高しないならば支払い管理であるし皮肉っぽい; fact27 -> int5: このＨＲは資本準備金であるならば人恋しいけれど勇ましかない; fact26 & fact29 -> int6: このＨＲは資本準備金でそれに運動会である; int6 -> int7: このＨＲは資本準備金である; int5 & int7 -> int8: このＨＲは人恋しいがしかしそれは勇ましいということはない; int8 -> int9: 人恋しくて勇ましくらないものはある; int9 & fact30 -> int10: 「あの点検前は分取しない」ということは成り立つ; int10 -> int11: あの点検前は分取しないかもしくは支払い配当金でないかどちらもである; fact31 & int11 -> int12: 「この終末論は支払い配当金である」ということは事実だ; fact32 & int12 -> int13: この終末論は気高しない; int4 & int13 -> int14: この終末論は支払い管理だし皮肉っぽい; int14 -> int15: 「この終末論は支払い管理である」ということは誤りでない; int15 -> int16: 「支払い管理である」ものはある; int16 & fact34 -> int17: その前室西壁は木の芽だ; int17 -> int18: 「木の芽な」ものはある; int18 & fact25 -> int19: 「「このビオトープは牧畜でないし非薬物療法でない」ということは本当だ」ということは間違っている; fact37 & int19 -> int20: その市販ソフトは非薬物療法でない; int3 & int20 -> int21: 「その市販ソフトはＩＴ化工事であるし機器等だ」ということは成り立たない; fact28 & int21 -> int22: そのトムキャットは本号違反でない; int2 & int22 -> int23: そのトムキャットは願い続けるしおまけにそれは子供っぽい; int23 -> hypothesis;
$facts$ = fact1: 仮に何かは願い続けないかもしくは本号違反であるということはないならば「子供っぽい」ということは本当である fact2: 仮になんらかの物は非薬物療法だということはないならば「それはＩＴ化工事でその上機器等である」ということは嘘である fact3: 仮に「その市販ソフトは宿神でないか立て難いかもしくは両方である」ということは誤りだとすればそれは急増しない fact4: その市販ソフトは首脳部だということはない fact5: もしも「木の芽な」物はあるとすれば「このビオトープは牧畜でないしその上それは非薬物療法でない」ということは成り立たない fact6: もし仮になにかは本号違反でないならば願い続けるしそれは子供っぽい fact7: 支払い管理は牧畜だけど木の芽でない fact8: もし仮に支払い管理があるとするとその前室西壁は木の芽である fact9: このビオトープが非薬物療法であるとすればその市販ソフトは機器等であるけれどＩＴ化工事でない fact10: その市販ソフトは願い続ければ「それは宿神だということはないかもしくは首脳部であるかもしくは両方ともである」ということは成り立たない fact11: 「このビオトープは牧畜でなくて更に非薬物療法でない」ということは成り立たないとするとその市販ソフトは非薬物療法でない fact12: もし仮に「あの司祭が差し出はましくらないかまたはそれは運動会であるかまたは両方である」ということは間違っているとしたらそれは衆参であるということはない fact13: もし仮に何らかの物が気高しないとすると支払い管理だしそれに皮肉っぽい fact14: 資本準備金は人恋しいけれど勇ましかない fact15: もしも「あの点検前は分取しないかあるいは支払い配当金でないかどちらもだ」ということは成り立てばこの終末論は支払い配当金だ fact16: 「もし「その市販ソフトはＩＴ化工事であるし機器等だ」ということは嘘だとすればあのトムキャットは本号違反でない」ということは誤りであるということはない fact17: このＨＲは解け易くない fact18: もし「その市販ソフトは宿神でないかもしくはそれは首脳部であるかあるいはどちらもだ」ということは誤りであるならば子供っぽくない fact19: その市販ソフトは願い続ける fact20: あの費用面は願い続ける fact21: もしその前室西壁が牧畜であるが木の芽でないとしたらこのビオトープは非薬物療法だ fact22: もしこのＨＲが解け易くないとすると資本準備金であるしさらに運動会だ fact23: 仮に人恋しい物が勇ましかないならばあの点検前は分取しない fact24: この終末論が支払い配当金だとしたら気高しない ; $hypothesis$ = その市販ソフトは子供っぽくない ; $proof$ = 
fact10 & fact19 -> int1: 「その市販ソフトは宿神でないかあるいはそれは首脳部だ」ということは事実でない; int1 & fact18 -> hypothesis; __PROVED__
事実1: 仮に何かは願い続けないかもしくは本号違反であるということはないならば「子供っぽい」ということは本当である
事実2: 仮になんらかの物は非薬物療法だということはないならば「それはＩＴ化工事でその上機器等である」ということは嘘である
事実3: 仮に「その市販ソフトは宿神でないか立て難いかもしくは両方である」ということは誤りだとすればそれは急増しない
事実4: その市販ソフトは首脳部だということはない
事実5: もしも「木の芽な」物はあるとすれば「このビオトープは牧畜でないしその上それは非薬物療法でない」ということは成り立たない
事実6: もし仮になにかは本号違反でないならば願い続けるしそれは子供っぽい
事実7: 支払い管理は牧畜だけど木の芽でない
事実8: もし仮に支払い管理があるとするとその前室西壁は木の芽である
事実9: このビオトープが非薬物療法であるとすればその市販ソフトは機器等であるけれどＩＴ化工事でない
事実10: その市販ソフトは願い続ければ「それは宿神だということはないかもしくは首脳部であるかもしくは両方ともである」ということは成り立たない
事実11: 「このビオトープは牧畜でなくて更に非薬物療法でない」ということは成り立たないとするとその市販ソフトは非薬物療法でない
事実12: もし仮に「あの司祭が差し出はましくらないかまたはそれは運動会であるかまたは両方である」ということは間違っているとしたらそれは衆参であるということはない
事実13: もし仮に何らかの物が気高しないとすると支払い管理だしそれに皮肉っぽい
事実14: 資本準備金は人恋しいけれど勇ましかない
事実15: もしも「あの点検前は分取しないかあるいは支払い配当金でないかどちらもだ」ということは成り立てばこの終末論は支払い配当金だ
事実16: 「もし「その市販ソフトはＩＴ化工事であるし機器等だ」ということは嘘だとすればあのトムキャットは本号違反でない」ということは誤りであるということはない
事実17: このＨＲは解け易くない
事実18: もし「その市販ソフトは宿神でないかもしくはそれは首脳部であるかあるいはどちらもだ」ということは誤りであるならば子供っぽくない
事実19: その市販ソフトは願い続ける
事実20: あの費用面は願い続ける
事実21: もしその前室西壁が牧畜であるが木の芽でないとしたらこのビオトープは非薬物療法だ
事実22: もしこのＨＲが解け易くないとすると資本準備金であるしさらに運動会だ
事実23: 仮に人恋しい物が勇ましかないならばあの点検前は分取しない
事実24: この終末論が支払い配当金だとしたら気高しない

仮説: その市販ソフトは子供っぽくない
1. 事実10と事実19から、推論1: "「その市販ソフトは宿神でないかあるいはそれは首脳部だ」ということは事実でない"が導かれる
2. 推論1と事実18から、仮説が導かれる

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