Erin is big. Erin is cold. Erin is furry. Erin is rough. Erin is smart. Gary is big. Gary is cold. Gary is furry. Gary is red. Gary is rough. Gary is smart. Gary is white. All red, white things are smart. All white, cold things are smart. If something is big then it is rough.
Erin is red.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is rough.[(triple4 OR ((triple1) -> rule3))] Erin is smart.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is red.[(triple9)] Gary is rough.[(triple10 OR ((triple6) -> rule3))] Gary is smart.[(triple11 OR ((triple12 triple7) -> rule2) OR ((triple9 triple12) -> rule1))] Gary is white.[(triple12)]