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