Bob is white. Charlie is green. Erin is nice. Fiona is round. Round things are blue. All blue things are cold. All round things are green. All cold, round things are nice. Cold things are nice. If something is green then it is blue.
Charlie is round.
@0: Bob is white.[(triple1)] Charlie is green.[(triple2)] Erin is nice.[(triple3)] Fiona is round.[(triple4)] @1: Charlie is blue.[(((triple2) -> rule6))] Fiona is blue.[(((triple4) -> rule1) OR ((((triple4) -> rule3)) -> rule6))] Fiona is green.[(((triple4) -> rule3))] @2: Charlie is cold.[(((((triple2) -> rule6)) -> rule2))] Fiona is cold.[(((((triple4) -> rule1)) -> rule2) OR ((((((triple4) -> rule3)) -> rule6)) -> rule2))] @3: Charlie is nice.[(((((((triple2) -> rule6)) -> rule2)) -> rule5))] Fiona is nice.[(((((((triple4) -> rule1)) -> rule2)) -> rule5) OR ((((((triple4) -> rule1)) -> rule2) triple4) -> rule4) OR ((((((((triple4) -> rule3)) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple4) -> rule3)) -> rule6)) -> rule2) triple4) -> rule4))]