Anne is nice. Charlie is kind. Dave is kind. Fiona is blue. All nice things are kind. If something is kind and round then it is blue. If something is nice then it is green. All big, round things are blue. Blue, big things are red. If something is green then it is blue. If something is blue and green then it is big. If Dave is big then Dave is blue.
Fiona is round.
@0: Anne is nice.[(triple1)] Charlie is kind.[(triple2)] Dave is kind.[(triple3)] Fiona is blue.[(triple4)] @1: Anne is green.[(((triple1) -> rule3))] Anne is kind.[(((triple1) -> rule1))] @2: Anne is blue.[(((((triple1) -> rule3)) -> rule6))] @3: Anne is big.[(((((((triple1) -> rule3)) -> rule6) ((triple1) -> rule3)) -> rule7))] @4: Anne is red.[(((((((triple1) -> rule3)) -> rule6) ((((((triple1) -> rule3)) -> rule6) ((triple1) -> rule3)) -> rule7)) -> rule5))]