Charlie is round. Charlie is white. Erin is blue. If someone is white then they are quiet. If someone is blue and smart then they are big. Big people are white. All blue people are smart. All quiet people are blue. Round people are smart.
Charlie is not blue.
@0: Charlie is round.[(triple1)] Charlie is white.[(triple2)] Erin is blue.[(triple3)] @1: Charlie is quiet.[(((triple2) -> rule1))] Charlie is smart.[(((triple1) -> rule6) OR ((((((triple2) -> rule1)) -> rule5)) -> rule4))] Erin is smart.[(((triple3) -> rule4))] @2: Charlie is blue.[(((((triple2) -> rule1)) -> rule5))] Erin is big.[(((triple3 ((triple3) -> rule4)) -> rule2))] @3: Charlie is big.[(((((((triple2) -> rule1)) -> rule5) ((triple1) -> rule6)) -> rule2) OR ((((((triple2) -> rule1)) -> rule5) ((((((triple2) -> rule1)) -> rule5)) -> rule4)) -> rule2))] Erin is white.[(((((triple3 ((triple3) -> rule4)) -> rule2)) -> rule3))] @4: Erin is quiet.[(((((((triple3 ((triple3) -> rule4)) -> rule2)) -> rule3)) -> rule1))]