Anne is blue. Bob is round. Fiona is green. Harry is round. If something is round and not green then it is red. Young, kind things are red. If something is blue then it is young. All round things are young. If something is round then it is kind. Round, red things are not blue.
Bob is red.
@0: Anne is blue.[(triple1)] Bob is round.[(triple2)] Fiona is green.[(triple3)] Harry is round.[(triple4)] @1: Anne is young.[(((triple1) -> rule3))] Bob is kind.[(((triple2) -> rule5))] Bob is young.[(((triple2) -> rule4))] Harry is kind.[(((triple4) -> rule5))] Harry is young.[(((triple4) -> rule4))] @2: Bob is red.[(((((triple2) -> rule4) ((triple2) -> rule5)) -> rule2))] Harry is red.[(((((triple4) -> rule4) ((triple4) -> rule5)) -> rule2))] @3: Bob is not blue.[(((triple2 ((((triple2) -> rule4) ((triple2) -> rule5)) -> rule2)) -> rule6))] Harry is not blue.[(((triple4 ((((triple4) -> rule4) ((triple4) -> rule5)) -> rule2)) -> rule6))]