Erin is nice. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is white. Gary is nice. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is smart. Gary is white. Red things are smart. White things are nice. Smart things are round.
Erin is white.
@0: Erin is nice.[(triple1 OR ((triple7) -> rule2))] Erin is quiet.[(triple2)] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((triple6) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] Erin is smart.[(triple6 OR ((triple3) -> rule1))] Erin is white.[(triple7)] Gary is nice.[(triple8 OR ((triple14) -> rule2))] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is rough.[(triple11)] Gary is round.[(triple12 OR ((triple13) -> rule3) OR ((((triple10) -> rule1)) -> rule3))] Gary is smart.[(triple13 OR ((triple10) -> rule1))] Gary is white.[(triple14)]