Anne is rough. Charlie is quiet. Erin is rough. Gary is big. Smart people are blue. If Erin is blue and Erin is red then Erin is quiet. All rough people are smart. If someone is quiet then they are furry. If someone is smart then they are furry. If someone is big then they are rough.
Charlie is smart.
@0: Anne is rough.[(triple1)] Charlie is quiet.[(triple2)] Erin is rough.[(triple3)] Gary is big.[(triple4)] @1: Anne is smart.[(((triple1) -> rule3))] Charlie is furry.[(((triple2) -> rule4))] Erin is smart.[(((triple3) -> rule3))] Gary is rough.[(((triple4) -> rule6))] @2: Anne is blue.[(((((triple1) -> rule3)) -> rule1))] Anne is furry.[(((((triple1) -> rule3)) -> rule5))] Erin is blue.[(((((triple3) -> rule3)) -> rule1))] Erin is furry.[(((((triple3) -> rule3)) -> rule5))] Gary is smart.[(((((triple4) -> rule6)) -> rule3))] @3: Gary is blue.[(((((((triple4) -> rule6)) -> rule3)) -> rule1))] Gary is furry.[(((((((triple4) -> rule6)) -> rule3)) -> rule5))]