この未払い金は染めだ
fact1: 「とある物は御安くないかそれは従属変数である」ということは間違いであるならば材料特性だということはない fact2: あの集合的存在は太らない fact3: 「この鶏手羽先は御安くないかまたは従属変数であるかどちらもである」ということは成り立つということはないならそれは材料特性でない fact4: この外的自決権は太らない fact5: もし仮に「なんらかの物は御安くないかもしくは従属変数でないかどちらもである」ということは間違っているとすると材料特性でない fact6: もし仮にあるものは御洒落でないとしたら培養出来る fact7: もし仮にあの集合的存在が材料特性であるとすればその書痴は太るということはないけど培養出来る fact8: もし仮にある物が太らないなら空けるしさらに遺伝子研究でない fact9: この鶏手羽先が培養出来るけれど材料特性であるということはないならばこの未払い金は染めでない fact10: ある物は遠隔だ fact11: 「仮に何かは遠隔であるとするとこの鶏手羽先は従属変数である」ということは間違っていない fact12: あの集合的存在が染めでないし更に太らないとすればこの未払い金は染めである fact13: 仮にあの集合的存在は太らないとすると「この鶏手羽先は男結びでないけど御洒落だ」ということは成り立たない fact14: もしも「なにかは男結びでないけれどそれは御洒落である」ということは真実でないとすると培養出来る fact15: もし仮に「遠隔である」物はあるなら「「この鶏手羽先は御安くないかあるいはそれは従属変数でないかあるいは両方である」ということは成り立つ」ということは間違いだ fact16: もしもあるものが培養出来ないとするとそれは染めでないし太らない
fact13 & fact2 -> int1: 「この鶏手羽先は男結びでないが御洒落である」ということは嘘である; fact14 -> int2: 「この鶏手羽先は男結びでないがしかしそれは御洒落である」ということは嘘であるとすると「培養出来る」ということは事実だ; int1 & int2 -> int3: この鶏手羽先は培養出来る; fact10 & fact15 -> int4: 「この鶏手羽先は御安くないかあるいは従属変数でないかまたは両方ともである」ということは嘘である; fact5 -> int5: もし「この鶏手羽先は御安くないかまたはそれは従属変数でない」ということは事実と異なるなら材料特性でない; int4 & int5 -> int6: この鶏手羽先は材料特性でない; int3 & int6 -> int7: この鶏手羽先は培養出来るがしかし材料特性であるということはない; int7 & fact9 -> hypothesis;
この未払い金は染めである
fact18 -> int8: もしあの集合的存在が培養出来ないならば染めでないし太らない;
$facts$ = fact1: 「とある物は御安くないかそれは従属変数である」ということは間違いであるならば材料特性だということはない fact2: あの集合的存在は太らない fact3: 「この鶏手羽先は御安くないかまたは従属変数であるかどちらもである」ということは成り立つということはないならそれは材料特性でない fact4: この外的自決権は太らない fact5: もし仮に「なんらかの物は御安くないかもしくは従属変数でないかどちらもである」ということは間違っているとすると材料特性でない fact6: もし仮にあるものは御洒落でないとしたら培養出来る fact7: もし仮にあの集合的存在が材料特性であるとすればその書痴は太るということはないけど培養出来る fact8: もし仮にある物が太らないなら空けるしさらに遺伝子研究でない fact9: この鶏手羽先が培養出来るけれど材料特性であるということはないならばこの未払い金は染めでない fact10: ある物は遠隔だ fact11: 「仮に何かは遠隔であるとするとこの鶏手羽先は従属変数である」ということは間違っていない fact12: あの集合的存在が染めでないし更に太らないとすればこの未払い金は染めである fact13: 仮にあの集合的存在は太らないとすると「この鶏手羽先は男結びでないけど御洒落だ」ということは成り立たない fact14: もしも「なにかは男結びでないけれどそれは御洒落である」ということは真実でないとすると培養出来る fact15: もし仮に「遠隔である」物はあるなら「「この鶏手羽先は御安くないかあるいはそれは従属変数でないかあるいは両方である」ということは成り立つ」ということは間違いだ fact16: もしもあるものが培養出来ないとするとそれは染めでないし太らない ; $hypothesis$ = この未払い金は染めだ ; $proof$ = 
fact13 & fact2 -> int1: 「この鶏手羽先は男結びでないが御洒落である」ということは嘘である; fact14 -> int2: 「この鶏手羽先は男結びでないがしかしそれは御洒落である」ということは嘘であるとすると「培養出来る」ということは事実だ; int1 & int2 -> int3: この鶏手羽先は培養出来る; fact10 & fact15 -> int4: 「この鶏手羽先は御安くないかあるいは従属変数でないかまたは両方ともである」ということは嘘である; fact5 -> int5: もし「この鶏手羽先は御安くないかまたはそれは従属変数でない」ということは事実と異なるなら材料特性でない; int4 & int5 -> int6: この鶏手羽先は材料特性でない; int3 & int6 -> int7: この鶏手羽先は培養出来るがしかし材料特性であるということはない; int7 & fact9 -> hypothesis; __DISPROVED__
事実1: 「とある物は御安くないかそれは従属変数である」ということは間違いであるならば材料特性だということはない
事実2: あの集合的存在は太らない
事実3: 「この鶏手羽先は御安くないかまたは従属変数であるかどちらもである」ということは成り立つということはないならそれは材料特性でない
事実4: この外的自決権は太らない
事実5: もし仮に「なんらかの物は御安くないかもしくは従属変数でないかどちらもである」ということは間違っているとすると材料特性でない
事実6: もし仮にあるものは御洒落でないとしたら培養出来る
事実7: もし仮にあの集合的存在が材料特性であるとすればその書痴は太るということはないけど培養出来る
事実8: もし仮にある物が太らないなら空けるしさらに遺伝子研究でない
事実9: この鶏手羽先が培養出来るけれど材料特性であるということはないならばこの未払い金は染めでない
事実10: ある物は遠隔だ
事実11: 「仮に何かは遠隔であるとするとこの鶏手羽先は従属変数である」ということは間違っていない
事実12: あの集合的存在が染めでないし更に太らないとすればこの未払い金は染めである
事実13: 仮にあの集合的存在は太らないとすると「この鶏手羽先は男結びでないけど御洒落だ」ということは成り立たない
事実14: もしも「なにかは男結びでないけれどそれは御洒落である」ということは真実でないとすると培養出来る
事実15: もし仮に「遠隔である」物はあるなら「「この鶏手羽先は御安くないかあるいはそれは従属変数でないかあるいは両方である」ということは成り立つ」ということは間違いだ
事実16: もしもあるものが培養出来ないとするとそれは染めでないし太らない

仮説: この未払い金は染めだ
1. 事実13と事実2から、推論1: "「この鶏手羽先は男結びでないが御洒落である」ということは嘘である"が導かれる
2. 事実14から、推論2: "「この鶏手羽先は男結びでないがしかしそれは御洒落である」ということは嘘であるとすると「培養出来る」ということは事実だ"が導かれる
3. 推論1と推論2から、推論3: "この鶏手羽先は培養出来る"が導かれる
4. 事実10と事実15から、推論4: "「この鶏手羽先は御安くないかあるいは従属変数でないかまたは両方ともである」ということは嘘である"が導かれる
5. 事実5から、推論5: "もし「この鶏手羽先は御安くないかまたはそれは従属変数でない」ということは事実と異なるなら材料特性でない"が導かれる
6. 推論4と推論5から、推論6: "この鶏手羽先は材料特性でない"が導かれる
7. 推論3と推論6から、推論7: "この鶏手羽先は培養出来るがしかし材料特性であるということはない"が導かれる
8. 推論7と事実9から、仮説が否定される

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