Charlie is green. Charlie is quiet. Erin is big. Erin is nice. Erin is rough. Gary is big. Gary is green. Gary is red. Gary is rough. Gary is smart. All red people are rough. Big, green people are rough. If someone is red then they are quiet. Green people are smart. All nice, big people are red. All quiet people are green.
Gary is not green.
@0: Charlie is green.[(triple1 OR ((triple2) -> rule6))] Charlie is quiet.[(triple2)] Erin is big.[(triple3)] Erin is nice.[(triple4)] Erin is rough.[(triple5 OR ((((triple4 triple3) -> rule5)) -> rule1) OR ((triple3 ((((((triple4 triple3) -> rule5)) -> rule3)) -> rule6)) -> rule2))] Gary is big.[(triple6)] Gary is green.[(triple7 OR ((((triple8) -> rule3)) -> rule6))] Gary is red.[(triple8)] Gary is rough.[(triple9 OR ((triple8) -> rule1) OR ((triple6 triple7) -> rule2) OR ((triple6 ((((triple8) -> rule3)) -> rule6)) -> rule2))] Gary is smart.[(triple10 OR ((triple7) -> rule4) OR ((((((triple8) -> rule3)) -> rule6)) -> rule4))] @1: Charlie is smart.[(((triple1) -> rule4) OR ((((triple2) -> rule6)) -> rule4))] Erin is red.[(((triple4 triple3) -> rule5))] Gary is quiet.[(((triple8) -> rule3))] @2: Erin is quiet.[(((((triple4 triple3) -> rule5)) -> rule3))] @3: Erin is green.[(((((((triple4 triple3) -> rule5)) -> rule3)) -> rule6))] @4: Erin is smart.[(((((((((triple4 triple3) -> rule5)) -> rule3)) -> rule6)) -> rule4))]