Anne is round. Anne is young. Bob is not nice. Bob is red. Fiona is round. Harry is cold. Harry is young. Round things are green. If something is cold then it is blue. If something is young and round then it is blue. If something is cold then it is not red. All cold, green things are not red. Blue things are young. All blue things are round. If something is young then it is cold.
Bob is not young.
@0: Anne is round.[(triple1 OR ((((((triple2) -> rule8)) -> rule2)) -> rule7))] Anne is young.[(triple2)] Bob is not nice.[(triple3)] Bob is red.[(triple4)] Fiona is round.[(triple5)] Harry is cold.[(triple6 OR ((triple7) -> rule8))] Harry is young.[(triple7 OR ((((triple6) -> rule2)) -> rule6))] @1: Anne is blue.[(((triple2 triple1) -> rule3) OR ((((triple2) -> rule8)) -> rule2))] Anne is cold.[(((triple2) -> rule8))] Anne is green.[(((triple1) -> rule1) OR ((((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule1))] Fiona is green.[(((triple5) -> rule1))] Harry is blue.[(((triple6) -> rule2) OR ((((triple7) -> rule8)) -> rule2))] Harry is not red.[(((triple6) -> rule4) OR ((((triple7) -> rule8)) -> rule4) OR ((triple6 ((((((triple6) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((triple7) -> rule8) ((((((triple6) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((triple6 ((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule5) OR ((((triple7) -> rule8) ((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule5))] @2: Anne is not red.[(((((triple2) -> rule8)) -> rule4) OR ((((triple2) -> rule8) ((triple1) -> rule1)) -> rule5) OR ((((triple2) -> rule8) ((((((((triple2) -> rule8)) -> rule2)) -> rule7)) -> rule1)) -> rule5))] Harry is round.[(((((triple6) -> rule2)) -> rule7) OR ((((((triple7) -> rule8)) -> rule2)) -> rule7))] @3: Harry is green.[(((((((triple6) -> rule2)) -> rule7)) -> rule1) OR ((((((((triple7) -> rule8)) -> rule2)) -> rule7)) -> rule1))]