Erin is big. Erin is red. Erin is rough. Erin is round. Gary is big. Gary is red. Gary is rough. All red, round people are big. All rough people are big. Nice, round people are quiet. All rough people are cold. If someone is cold then they are nice. All quiet, red people are nice. All round, nice people are rough. Quiet, nice people are round.
Erin is not red.
@0: Erin is big.[(triple1 OR ((triple3) -> rule2) OR ((triple2 triple4) -> rule1))] Erin is red.[(triple2)] Erin is rough.[(triple3)] Erin is round.[(triple4)] Gary is big.[(triple5 OR ((triple7) -> rule2))] Gary is red.[(triple6)] Gary is rough.[(triple7)] @1: Erin is cold.[(((triple3) -> rule4))] Gary is cold.[(((triple7) -> rule4))] @2: Erin is nice.[(((((triple3) -> rule4)) -> rule5))] Gary is nice.[(((((triple7) -> rule4)) -> rule5))] @3: Erin is quiet.[(((((((triple3) -> rule4)) -> rule5) triple4) -> rule3))]