「図々しくてかつ色選びである」ものはある
fact1: もし仮に口喧しいか手厚くないかあるいは両方な物があるならばあの大犬座は色選びでない fact2: 「その大犬座は手厚くなくてまた口喧しくない」ということは間違いである fact3: もし仮にその大犬座は卒業後でないかもしくは図々しかないかどちらもだとしたら卒業後でない fact4: 「口喧しい」ものはある fact5: その大犬座は猛反対する fact6: あるものは直入だ fact7: もし仮に「「その大犬座は手厚くないしそれは口喧しくない」ということは事実である」ということは嘘だとすればあの軟座は色選びだ fact8: 「その大犬座は手厚いけどそれは口喧しくない」ということは偽だ fact9: もしその大犬座が手厚いならば卒業後である fact10: もし仮にそのコモドールはヴァトー・ガウンであるとすると口喧しいかまたは手厚くないかもしくはどちらもである fact11: この軟座は卒業後である fact12: 「色選びである」ものはある fact13: もし仮にその大犬座が手厚いとするとこの軟座は色選びである fact14: 仮にこの軟座は卒業後であるならそれは図々しい fact15: 「手厚い」ものはある fact16: 何らかの物が卒業後だということはないとすればこの軟座は節度使であるしそれに育ち難い fact17: その大犬座は憎々しい fact18: この課徴金は口喧しい fact19: そのコモドールは合わせ辛いしまたヴァトー・ガウンだ
fact14 & fact11 -> int1: この軟座は図々しい; fact2 & fact7 -> int2: この軟座は色選びである; int1 & int2 -> int3: この軟座は図々しいしそれは色選びである; int3 -> hypothesis;
節度使であってその上育ち難いものはある
fact21 -> int4: 「そのコモドールはヴァトー・ガウンだ」ということは本当である; fact20 & int4 -> int5: そのコモドールは口喧しいかそれは手厚くないかあるいは両方ともである; int5 -> int6: 「「口喧しいかあるいは手厚くないかまたは両方ともだ」ということは成り立つ」物はある; int6 & fact22 -> int7: その大犬座は色選びでない;
$facts$ = fact1: もし仮に口喧しいか手厚くないかあるいは両方な物があるならばあの大犬座は色選びでない fact2: 「その大犬座は手厚くなくてまた口喧しくない」ということは間違いである fact3: もし仮にその大犬座は卒業後でないかもしくは図々しかないかどちらもだとしたら卒業後でない fact4: 「口喧しい」ものはある fact5: その大犬座は猛反対する fact6: あるものは直入だ fact7: もし仮に「「その大犬座は手厚くないしそれは口喧しくない」ということは事実である」ということは嘘だとすればあの軟座は色選びだ fact8: 「その大犬座は手厚いけどそれは口喧しくない」ということは偽だ fact9: もしその大犬座が手厚いならば卒業後である fact10: もし仮にそのコモドールはヴァトー・ガウンであるとすると口喧しいかまたは手厚くないかもしくはどちらもである fact11: この軟座は卒業後である fact12: 「色選びである」ものはある fact13: もし仮にその大犬座が手厚いとするとこの軟座は色選びである fact14: 仮にこの軟座は卒業後であるならそれは図々しい fact15: 「手厚い」ものはある fact16: 何らかの物が卒業後だということはないとすればこの軟座は節度使であるしそれに育ち難い fact17: その大犬座は憎々しい fact18: この課徴金は口喧しい fact19: そのコモドールは合わせ辛いしまたヴァトー・ガウンだ ; $hypothesis$ = 「図々しくてかつ色選びである」ものはある ; $proof$ = 
fact14 & fact11 -> int1: この軟座は図々しい; fact2 & fact7 -> int2: この軟座は色選びである; int1 & int2 -> int3: この軟座は図々しいしそれは色選びである; int3 -> hypothesis; __PROVED__
事実1: もし仮に口喧しいか手厚くないかあるいは両方な物があるならばあの大犬座は色選びでない
事実2: 「その大犬座は手厚くなくてまた口喧しくない」ということは間違いである
事実3: もし仮にその大犬座は卒業後でないかもしくは図々しかないかどちらもだとしたら卒業後でない
事実4: 「口喧しい」ものはある
事実5: その大犬座は猛反対する
事実6: あるものは直入だ
事実7: もし仮に「「その大犬座は手厚くないしそれは口喧しくない」ということは事実である」ということは嘘だとすればあの軟座は色選びだ
事実8: 「その大犬座は手厚いけどそれは口喧しくない」ということは偽だ
事実9: もしその大犬座が手厚いならば卒業後である
事実10: もし仮にそのコモドールはヴァトー・ガウンであるとすると口喧しいかまたは手厚くないかもしくはどちらもである
事実11: この軟座は卒業後である
事実12: 「色選びである」ものはある
事実13: もし仮にその大犬座が手厚いとするとこの軟座は色選びである
事実14: 仮にこの軟座は卒業後であるならそれは図々しい
事実15: 「手厚い」ものはある
事実16: 何らかの物が卒業後だということはないとすればこの軟座は節度使であるしそれに育ち難い
事実17: その大犬座は憎々しい
事実18: この課徴金は口喧しい
事実19: そのコモドールは合わせ辛いしまたヴァトー・ガウンだ

仮説: 「図々しくてかつ色選びである」ものはある
1. 事実14と事実11から、推論1: "この軟座は図々しい"が導かれる
2. 事実2と事実7から、推論2: "この軟座は色選びである"が導かれる
3. 推論1と推論2から、推論3: "この軟座は図々しいしそれは色選びである"が導かれる
4. 推論3から、仮説が導かれる

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