Charlie is cold. Charlie is furry. Charlie is nice. Charlie is quiet. Charlie is red. Dave is cold. Dave is nice. Dave is quiet. Dave is red. Erin is nice. Erin is red. Erin is rough. All smart, nice people are rough. All red people are nice. All quiet, cold people are smart.
Erin is not cold.
@0: Charlie is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is nice.[(triple3 OR ((triple5) -> rule2))] Charlie is quiet.[(triple4)] Charlie is red.[(triple5)] Dave is cold.[(triple6)] Dave is nice.[(triple7 OR ((triple9) -> rule2))] Dave is quiet.[(triple8)] Dave is red.[(triple9)] Erin is nice.[(triple10 OR ((triple11) -> rule2))] Erin is red.[(triple11)] Erin is rough.[(triple12)] @1: Charlie is smart.[(((triple4 triple1) -> rule3))] Dave is smart.[(((triple8 triple6) -> rule3))] @2: Charlie is rough.[(((((triple4 triple1) -> rule3) triple3) -> rule1) OR ((((triple4 triple1) -> rule3) ((triple5) -> rule2)) -> rule1))] Dave is rough.[(((((triple8 triple6) -> rule3) triple7) -> rule1) OR ((((triple8 triple6) -> rule3) ((triple9) -> rule2)) -> rule1))]