Anne is furry. Anne is green. Anne is red. Dave is not red. Dave is not round. Dave is smart. Fiona is nice. Fiona is red. Harry is cold. Harry is green. Harry is red. Harry is round. All red, nice things are smart. If something is round and cold then it is nice. All nice things are red. Red things are cold. If something is green then it is furry. If something is cold then it is green. All furry, cold things are green. If something is red and not smart then it is green.
Anne is round.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule5) OR ((((((triple3) -> rule4)) -> rule6)) -> rule5))] Anne is green.[(triple2 OR ((((triple3) -> rule4)) -> rule6) OR ((triple1 ((triple3) -> rule4)) -> rule7))] Anne is red.[(triple3)] Dave is not red.[(triple4)] Dave is not round.[(triple5)] Dave is smart.[(triple6)] Fiona is nice.[(triple7)] Fiona is red.[(triple8 OR ((triple7) -> rule3))] Harry is cold.[(triple9 OR ((triple11) -> rule4))] Harry is green.[(triple10 OR ((triple9) -> rule6) OR ((((triple11) -> rule4)) -> rule6))] Harry is red.[(triple11 OR ((((triple12 triple9) -> rule2)) -> rule3))] Harry is round.[(triple12)] @1: Anne is cold.[(((triple3) -> rule4))] Fiona is cold.[(((triple8) -> rule4) OR ((((triple7) -> rule3)) -> rule4))] Fiona is smart.[(((triple8 triple7) -> rule1) OR ((((triple7) -> rule3) triple7) -> rule1))] Harry is furry.[(((triple10) -> rule5) OR ((((triple9) -> rule6)) -> rule5) OR ((((((triple11) -> rule4)) -> rule6)) -> rule5))] Harry is nice.[(((triple12 triple9) -> rule2) OR ((triple12 ((triple11) -> rule4)) -> rule2))] @2: Fiona is green.[(((((triple8) -> rule4)) -> rule6) OR ((((((triple7) -> rule3)) -> rule4)) -> rule6))] Harry is smart.[(((triple11 ((triple12 triple9) -> rule2)) -> rule1) OR ((triple11 ((triple12 ((triple11) -> rule4)) -> rule2)) -> rule1) OR ((((((triple12 triple9) -> rule2)) -> rule3) ((triple12 triple9) -> rule2)) -> rule1) OR ((((((triple12 triple9) -> rule2)) -> rule3) ((triple12 ((triple11) -> rule4)) -> rule2)) -> rule1))] @3: Fiona is furry.[(((((((triple8) -> rule4)) -> rule6)) -> rule5) OR ((((((((triple7) -> rule3)) -> rule4)) -> rule6)) -> rule5))]