Charlie is green. Fiona is red. Green things are blue. Quiet things are blue. If Charlie is blue then Charlie is quiet. All green, red things are kind. Blue, red things are quiet. If something is kind and green then it is furry. If something is furry and green then it is cold. If something is quiet then it is red.
Charlie is green.
@0: Charlie is green.[(triple1)] Fiona is red.[(triple2)] @1: Charlie is blue.[(((triple1) -> rule1))] @2: Charlie is quiet.[(((((triple1) -> rule1)) -> rule3))] @3: Charlie is red.[(((((((triple1) -> rule1)) -> rule3)) -> rule8))] @4: Charlie is kind.[(((triple1 ((((((triple1) -> rule1)) -> rule3)) -> rule8)) -> rule4))] @5: Charlie is furry.[(((((triple1 ((((((triple1) -> rule1)) -> rule3)) -> rule8)) -> rule4) triple1) -> rule6))] @6: Charlie is cold.[(((((((triple1 ((((((triple1) -> rule1)) -> rule3)) -> rule8)) -> rule4) triple1) -> rule6) triple1) -> rule7))]