Anne is cold. Charlie is furry. Charlie is round. Fiona is quiet. Gary is nice. Gary is quiet. Gary is round. Nice people are white. All round, cold people are nice. If someone is furry and round then they are cold. All cold, green people are quiet. If Charlie is cold then Charlie is nice. If someone is furry and white then they are green. If Anne is white and Anne is quiet then Anne is green.
Charlie is green.
@0: Anne is cold.[(triple1)] Charlie is furry.[(triple2)] Charlie is round.[(triple3)] Fiona is quiet.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Gary is round.[(triple7)] @1: Charlie is cold.[(((triple2 triple3) -> rule3))] Gary is white.[(((triple5) -> rule1))] @2: Charlie is nice.[(((((triple2 triple3) -> rule3)) -> rule5) OR ((triple3 ((triple2 triple3) -> rule3)) -> rule2))] @3: Charlie is white.[(((((((triple2 triple3) -> rule3)) -> rule5)) -> rule1) OR ((((triple3 ((triple2 triple3) -> rule3)) -> rule2)) -> rule1))] @4: Charlie is green.[(((triple2 ((((((triple2 triple3) -> rule3)) -> rule5)) -> rule1)) -> rule6) OR ((triple2 ((((triple3 ((triple2 triple3) -> rule3)) -> rule2)) -> rule1)) -> rule6))] @5: Charlie is quiet.[(((((triple2 triple3) -> rule3) ((triple2 ((((((triple2 triple3) -> rule3)) -> rule5)) -> rule1)) -> rule6)) -> rule4) OR ((((triple2 triple3) -> rule3) ((triple2 ((((triple3 ((triple2 triple3) -> rule3)) -> rule2)) -> rule1)) -> rule6)) -> rule4))]