Charlie is furry. Erin is furry. Gary is not blue. If something is cold then it is green. If something is quiet and furry then it is not green. All blue things are not green. If something is furry then it is big. Furry, cold things are big. If something is big then it is round. If Gary is quiet then Gary is blue. All round things are cold.
Gary is not furry.
@0: Charlie is furry.[(triple1)] Erin is furry.[(triple2)] Gary is not blue.[(triple3)] @1: Charlie is big.[(((triple1) -> rule4))] Erin is big.[(((triple2) -> rule4))] @2: Charlie is round.[(((((triple1) -> rule4)) -> rule6))] Erin is round.[(((((triple2) -> rule4)) -> rule6))] @3: Charlie is cold.[(((((((triple1) -> rule4)) -> rule6)) -> rule8))] Erin is cold.[(((((((triple2) -> rule4)) -> rule6)) -> rule8))] @4: Charlie is green.[(((((((((triple1) -> rule4)) -> rule6)) -> rule8)) -> rule1))] Erin is green.[(((((((((triple2) -> rule4)) -> rule6)) -> rule8)) -> rule1))]