その鮮紅色は人間らしい
fact1: 仮にある物はＰＴ境界でないとしたら「それは安っぽいかそれは立脚するかもしくは両方ともである」ということは成り立たない fact2: その鮮紅色は怠い fact3: もしも「ある物は会話するし消化機能である」ということは嘘だとするとそれは会話するということはない fact4: もしも「あの知友は接尾しないし起こし難くない」ということは偽であるならばこの出分かれは起こし難いということはない fact5: もし仮になんらかの物がＢＯＭＢでないかもしくはそれは何気無いかもしくはどちらもであるとするとそれはＢＯＭＢでない fact6: もしあのチゲが速効型でないとするとこの秋期は強請らない fact7: 「売り地でない」ものはあるなら「この去痰は速効型でない一方で売り地だ」ということは間違いである fact8: その鮮紅色は見失わない fact9: もしも「「あるものは人間らしいししかもそれは立脚する」ということは真実だ」ということは成り立たないとしたらそれは人間らしくない fact10: その通念が激賞するならこの秋期は手書きする fact11: 「売り地だということはない」ものはある fact12: 「あの知友は接尾しないししかも起こし難くない」ということは間違いだ fact13: その鮮紅色はＢＯＭＢでない fact14: もし仮になんらかの物が手書きするけど会話しないとするとそれはＰＴ境界でない fact15: もしもなにがしかの物は起こし難くないなら「それは激賞しないしまた排卵誘発剤でない」ということは成り立つということはない fact16: 仮に「人間らしいということはない」ものがあるならその下山はＢＯＭＢでないかもしくはそれは何気無い fact17: もし「この秋期は安っぽいかまたは立脚するか両方ともである」ということは間違っているとしたらこのカラーコピーは人間らしいということはない fact18: 怠い物がＢＯＭＢだということはないなら人間らしい fact19: もし仮になにかは強請らないなら「それは会話するし加えて消化機能だ」ということは間違っている fact20: この法律上は進化し易い一方で手強くない fact21: 「この去痰は速効型であるということはないけれど売り地である」ということは偽ならあのチゲは速効型でない fact22: もしも「この出分かれは激賞するということはないしさらに排卵誘発剤でない」ということは事実でないならその通念は激賞する
fact18 -> int1: 仮にその鮮紅色が怠いけれどＢＯＭＢでないならばそれは人間らしい; fact2 & fact13 -> int2: その鮮紅色は怠い一方でＢＯＭＢでない; int1 & int2 -> hypothesis;
fact18 -> int1: ({AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact2 & fact13 -> int2: ({AA}{aa} & ¬{AB}{aa}); int1 & int2 -> hypothesis;
「その鮮紅色は人間らしくない」ということは誤っていない
fact23 -> int3: 「その鮮紅色は人間らしいしそれは立脚する」ということは成り立たないとすると「人間らしいということはない」ということは本当だ;
$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$ = 
fact18 -> int1: 仮にその鮮紅色が怠いけれどＢＯＭＢでないならばそれは人間らしい; fact2 & fact13 -> int2: その鮮紅色は怠い一方でＢＯＭＢでない; int1 & int2 -> 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. 事実18から、推論1: "仮にその鮮紅色が怠いけれどＢＯＭＢでないならばそれは人間らしい"が導かれる
2. 事実2と事実13から、推論2: "その鮮紅色は怠い一方でＢＯＭＢでない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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