Charlie is quiet. Erin is cold. Gary is quiet. Quiet things are not big. All cold, quiet things are green. If Gary is cold and Gary is green then Gary is kind. Kind things are white. All quiet things are white. Quiet things are cold.
Charlie is furry.
@0: Charlie is quiet.[(triple1)] Erin is cold.[(triple2)] Gary is quiet.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule6))] Charlie is not big.[(((triple1) -> rule1))] Charlie is white.[(((triple1) -> rule5))] Gary is cold.[(((triple3) -> rule6))] Gary is not big.[(((triple3) -> rule1))] Gary is white.[(((triple3) -> rule5) OR ((((((triple3) -> rule6) ((((triple3) -> rule6) triple3) -> rule2)) -> rule3)) -> rule4))] @2: Charlie is green.[(((((triple1) -> rule6) triple1) -> rule2))] Gary is green.[(((((triple3) -> rule6) triple3) -> rule2))] @3: Gary is kind.[(((((triple3) -> rule6) ((((triple3) -> rule6) triple3) -> rule2)) -> rule3))]