Erin is big. Erin is blue. Erin is nice. Erin is quiet. Erin is red. Erin is smart. Erin is white. Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is red. Gary is smart. Gary is white. Red people are quiet. All smart, red people are nice. If someone is smart and big then they are nice.
Erin is blue.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is nice.[(triple3 OR ((triple6 triple1) -> rule3) OR ((triple6 triple5) -> rule2))] Erin is quiet.[(triple4 OR ((triple5) -> rule1))] Erin is red.[(triple5)] Erin is smart.[(triple6)] Erin is white.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is nice.[(triple10 OR ((triple13 triple12) -> rule2) OR ((triple13 triple8) -> rule3))] Gary is quiet.[(triple11 OR ((triple12) -> rule1))] Gary is red.[(triple12)] Gary is smart.[(triple13)] Gary is white.[(triple14)]