Charlie is red. Erin is round. Harry is round. If someone is red then they are smart. All green, blue people are smart. Blue people are red. Red people are white. All round, green people are blue. Round people are blue.
Erin is blue.
@0: Charlie is red.[(triple1)] Erin is round.[(triple2)] Harry is round.[(triple3)] @1: Charlie is smart.[(((triple1) -> rule1))] Charlie is white.[(((triple1) -> rule4))] Erin is blue.[(((triple2) -> rule6))] Harry is blue.[(((triple3) -> rule6))] @2: Erin is red.[(((((triple2) -> rule6)) -> rule3))] Harry is red.[(((((triple3) -> rule6)) -> rule3))] @3: Erin is smart.[(((((((triple2) -> rule6)) -> rule3)) -> rule1))] Erin is white.[(((((((triple2) -> rule6)) -> rule3)) -> rule4))] Harry is smart.[(((((((triple3) -> rule6)) -> rule3)) -> rule1))] Harry is white.[(((((((triple3) -> rule6)) -> rule3)) -> rule4))]