Anne is green. Anne is kind. Anne is red. Bob is smart. Fiona is cold. Fiona is furry. Fiona is red. Harry is red. Harry is round. Harry is smart. If Bob is smart then Bob is not cold. If something is cold then it is smart. Kind things are round. If something is green and not cold then it is not furry. If Harry is round and Harry is not smart then Harry is red. All furry, cold things are kind. If something is smart and not cold then it is kind. Furry, green things are kind. Round things are green.
Anne is smart.
@0: Anne is green.[(triple1 OR ((((triple2) -> rule3)) -> rule9))] Anne is kind.[(triple2)] Anne is red.[(triple3)] Bob is smart.[(triple4)] Fiona is cold.[(triple5)] Fiona is furry.[(triple6)] Fiona is red.[(triple7)] Harry is red.[(triple8)] Harry is round.[(triple9)] Harry is smart.[(triple10)] @1: Anne is round.[(((triple2) -> rule3))] Bob is not cold.[(((triple4) -> rule1))] Fiona is kind.[(((triple6 triple5) -> rule6))] Fiona is smart.[(((triple5) -> rule2))] Harry is green.[(((triple9) -> rule9))] @2: Bob is kind.[(((triple4 ((triple4) -> rule1)) -> rule7))] Fiona is round.[(((((triple6 triple5) -> rule6)) -> rule3))] @3: Bob is round.[(((((triple4 ((triple4) -> rule1)) -> rule7)) -> rule3))] Fiona is green.[(((((((triple6 triple5) -> rule6)) -> rule3)) -> rule9))] @4: Bob is green.[(((((((triple4 ((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule9))] @5: Bob is not furry.[(((((((((triple4 ((triple4) -> rule1)) -> rule7)) -> rule3)) -> rule9) ((triple4) -> rule1)) -> rule4))]