このグループ企業は機器間でない
fact1: 手際良くないものは小憎らしいかあるいは請求等でない fact2: どれもこれもは放送でない fact3: もしこの中国向けが機器間でない一方で誤認すればこのグループ企業は機器間である fact4: もしもある物は放送でないとしたら「それは住民一人一人でない」ということは嘘でない fact5: もしも「なにがしかの物は誤認するが放送でない」ということは成り立つということはないとしたら誤認しない fact6: もし「ある物は請求等だし誤認する」ということは本当でないとしたらそれは機器間でない fact7: もし仮に「何かは完全拡散面だ一方で放送でない」ということは間違いであるならば完全拡散面でない fact8: もしもこの後遺症が誤認しないとしたらこの中国向けは誤認する fact9: もしもこのグループ企業が住民一人一人でないしさらにそれが人懐こくないとするとあの乳幼児健診は機器間でない fact10: 仮に「「赤面するけれど集結するということはない」ということは成り立たない」物があるとするとこの中国向けは機器間でない fact11: 「あの家族状況は赤面するけどそれは集結しない」ということは成り立つということはない fact12: もしもなにかは放送でないとするとそれは住民一人一人でないしその上人懐こいということはない fact13: もしその人気店は請求等だとすると「この後遺症は誤認するけれど放送でない」ということは嘘である fact14: あの乳幼児健診は住民一人一人でない fact15: 仮にある物は機器間でないなら「それは完全拡散面である一方で放送でない」ということは偽である fact16: もしあの乳幼児健診が住民一人一人でなくてそれに人懐こくないとすればあのグループ企業は機器間でない
fact12 -> int1: もしも「あの乳幼児健診は放送でない」ということは真実であるとするとそれは住民一人一人でなくて人懐こくない; fact2 -> int2: あの乳幼児健診は放送であるということはない; int1 & int2 -> int3: あの乳幼児健診は住民一人一人でないしおまけに人懐こくない; int3 & fact16 -> hypothesis;
このグループ企業は機器間である
fact20 -> int4: 「「赤面するけど集結するということはない」ということは成り立たない」物はある; int4 & fact17 -> int5: この中国向けは機器間でない; fact19 -> int6: 「この後遺症は誤認するけれどそれは放送でない」ということは間違っているとするとそれは誤認しない; fact21 -> int7: もしその烏・天狗が手際良いということはないなら小憎らしいかまたはそれは請求等でないかまたはどちらもである;
$facts$ = fact1: 手際良くないものは小憎らしいかあるいは請求等でない fact2: どれもこれもは放送でない fact3: もしこの中国向けが機器間でない一方で誤認すればこのグループ企業は機器間である fact4: もしもある物は放送でないとしたら「それは住民一人一人でない」ということは嘘でない fact5: もしも「なにがしかの物は誤認するが放送でない」ということは成り立つということはないとしたら誤認しない fact6: もし「ある物は請求等だし誤認する」ということは本当でないとしたらそれは機器間でない fact7: もし仮に「何かは完全拡散面だ一方で放送でない」ということは間違いであるならば完全拡散面でない fact8: もしもこの後遺症が誤認しないとしたらこの中国向けは誤認する fact9: もしもこのグループ企業が住民一人一人でないしさらにそれが人懐こくないとするとあの乳幼児健診は機器間でない fact10: 仮に「「赤面するけれど集結するということはない」ということは成り立たない」物があるとするとこの中国向けは機器間でない fact11: 「あの家族状況は赤面するけどそれは集結しない」ということは成り立つということはない fact12: もしもなにかは放送でないとするとそれは住民一人一人でないしその上人懐こいということはない fact13: もしその人気店は請求等だとすると「この後遺症は誤認するけれど放送でない」ということは嘘である fact14: あの乳幼児健診は住民一人一人でない fact15: 仮にある物は機器間でないなら「それは完全拡散面である一方で放送でない」ということは偽である fact16: もしあの乳幼児健診が住民一人一人でなくてそれに人懐こくないとすればあのグループ企業は機器間でない ; $hypothesis$ = このグループ企業は機器間でない ; $proof$ = 
fact12 -> int1: もしも「あの乳幼児健診は放送でない」ということは真実であるとするとそれは住民一人一人でなくて人懐こくない; fact2 -> int2: あの乳幼児健診は放送であるということはない; int1 & int2 -> int3: あの乳幼児健診は住民一人一人でないしおまけに人懐こくない; int3 & fact16 -> hypothesis; __PROVED__
事実1: 手際良くないものは小憎らしいかあるいは請求等でない
事実2: どれもこれもは放送でない
事実3: もしこの中国向けが機器間でない一方で誤認すればこのグループ企業は機器間である
事実4: もしもある物は放送でないとしたら「それは住民一人一人でない」ということは嘘でない
事実5: もしも「なにがしかの物は誤認するが放送でない」ということは成り立つということはないとしたら誤認しない
事実6: もし「ある物は請求等だし誤認する」ということは本当でないとしたらそれは機器間でない
事実7: もし仮に「何かは完全拡散面だ一方で放送でない」ということは間違いであるならば完全拡散面でない
事実8: もしもこの後遺症が誤認しないとしたらこの中国向けは誤認する
事実9: もしもこのグループ企業が住民一人一人でないしさらにそれが人懐こくないとするとあの乳幼児健診は機器間でない
事実10: 仮に「「赤面するけれど集結するということはない」ということは成り立たない」物があるとするとこの中国向けは機器間でない
事実11: 「あの家族状況は赤面するけどそれは集結しない」ということは成り立つということはない
事実12: もしもなにかは放送でないとするとそれは住民一人一人でないしその上人懐こいということはない
事実13: もしその人気店は請求等だとすると「この後遺症は誤認するけれど放送でない」ということは嘘である
事実14: あの乳幼児健診は住民一人一人でない
事実15: 仮にある物は機器間でないなら「それは完全拡散面である一方で放送でない」ということは偽である
事実16: もしあの乳幼児健診が住民一人一人でなくてそれに人懐こくないとすればあのグループ企業は機器間でない

仮説: このグループ企業は機器間でない
1. 事実12から、推論1: "もしも「あの乳幼児健診は放送でない」ということは真実であるとするとそれは住民一人一人でなくて人懐こくない"が導かれる
2. 事実2から、推論2: "あの乳幼児健診は放送であるということはない"が導かれる
3. 推論1と推論2から、推論3: "あの乳幼児健診は住民一人一人でないしおまけに人懐こくない"が導かれる
4. 推論3と事実16から、仮説が導かれる

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