Anne is kind. Anne is young. Dave is not round. Gary is blue. Gary is furry. Harry is big. Harry is cold. If someone is big then they are young. If someone is blue then they are kind. Kind people are round. If someone is young then they are round. All round, cold people are blue. If Anne is blue then Anne is not cold. Kind, big people are not furry.
Harry is furry.
@0: Anne is kind.[(triple1)] Anne is young.[(triple2)] Dave is not round.[(triple3)] Gary is blue.[(triple4)] Gary is furry.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] @1: Anne is round.[(((triple1) -> rule3) OR ((triple2) -> rule4))] Gary is kind.[(((triple4) -> rule2))] Harry is young.[(((triple6) -> rule1))] @2: Gary is round.[(((((triple4) -> rule2)) -> rule3))] Harry is round.[(((((triple6) -> rule1)) -> rule4))] @3: Harry is blue.[(((((((triple6) -> rule1)) -> rule4) triple7) -> rule5))] @4: Harry is kind.[(((((((((triple6) -> rule1)) -> rule4) triple7) -> rule5)) -> rule2))] @5: Harry is not furry.[(((((((((((triple6) -> rule1)) -> rule4) triple7) -> rule5)) -> rule2) triple6) -> rule7))]