Anne is blue. Anne is rough. Dave is big. Dave is smart. Erin is big. Erin is blue. Erin is red. Erin is rough. Erin is smart. Erin is white. Gary is big. Gary is smart. Cold, red people are white. Blue people are smart. All rough people are big.
Dave is not big.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Dave is big.[(triple3)] Dave is smart.[(triple4)] Erin is big.[(triple5 OR ((triple8) -> rule3))] Erin is blue.[(triple6)] Erin is red.[(triple7)] Erin is rough.[(triple8)] Erin is smart.[(triple9 OR ((triple6) -> rule2))] Erin is white.[(triple10)] Gary is big.[(triple11)] Gary is smart.[(triple12)] @1: Anne is big.[(((triple2) -> rule3))] Anne is smart.[(((triple1) -> rule2))]