Anne is blue. Anne is red. Anne is smart. Dave is big. Dave is cold. Dave is nice. Fiona is smart. Harry is blue. Harry is cold. Harry is nice. Harry is red. Harry is smart. Kind things are nice. All cold, nice things are blue. Cold things are kind. Smart things are cold. All blue, smart things are red.
Anne is not kind.
@0: Anne is blue.[(triple1 OR ((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3)) -> rule1)) -> rule2))] Anne is red.[(triple2 OR ((triple1 triple3) -> rule5) OR ((((((triple3) -> rule4) ((((((triple3) -> rule4)) -> rule3)) -> rule1)) -> rule2) triple3) -> rule5))] Anne is smart.[(triple3)] Dave is big.[(triple4)] Dave is cold.[(triple5)] Dave is nice.[(triple6 OR ((((triple5) -> rule3)) -> rule1))] Fiona is smart.[(triple7)] Harry is blue.[(triple8 OR ((triple9 triple10) -> rule2) OR ((((triple12) -> rule4) triple10) -> rule2) OR ((triple9 ((((triple9) -> rule3)) -> rule1)) -> rule2) OR ((((triple12) -> rule4) ((((triple9) -> rule3)) -> rule1)) -> rule2) OR ((triple9 ((((((triple12) -> rule4)) -> rule3)) -> rule1)) -> rule2) OR ((((triple12) -> rule4) ((((((triple12) -> rule4)) -> rule3)) -> rule1)) -> rule2))] Harry is cold.[(triple9 OR ((triple12) -> rule4))] Harry is nice.[(triple10 OR ((((triple9) -> rule3)) -> rule1) OR ((((((triple12) -> rule4)) -> rule3)) -> rule1))] Harry is red.[(triple11 OR ((triple8 triple12) -> rule5) OR ((((triple9 triple10) -> rule2) triple12) -> rule5) OR ((((((triple12) -> rule4) triple10) -> rule2) triple12) -> rule5) OR ((((triple9 ((((triple9) -> rule3)) -> rule1)) -> rule2) triple12) -> rule5) OR ((((((triple12) -> rule4) ((((triple9) -> rule3)) -> rule1)) -> rule2) triple12) -> rule5) OR ((((triple9 ((((((triple12) -> rule4)) -> rule3)) -> rule1)) -> rule2) triple12) -> rule5) OR ((((((triple12) -> rule4) ((((((triple12) -> rule4)) -> rule3)) -> rule1)) -> rule2) triple12) -> rule5))] Harry is smart.[(triple12)] @1: Anne is cold.[(((triple3) -> rule4))] Dave is blue.[(((triple5 triple6) -> rule2) OR ((triple5 ((((triple5) -> rule3)) -> rule1)) -> rule2))] Dave is kind.[(((triple5) -> rule3))] Fiona is cold.[(((triple7) -> rule4))] Harry is kind.[(((triple9) -> rule3) OR ((((triple12) -> rule4)) -> rule3))] @2: Anne is kind.[(((((triple3) -> rule4)) -> rule3))] Fiona is kind.[(((((triple7) -> rule4)) -> rule3))] @3: Anne is nice.[(((((((triple3) -> rule4)) -> rule3)) -> rule1))] Fiona is nice.[(((((((triple7) -> rule4)) -> rule3)) -> rule1))] @4: Fiona is blue.[(((((triple7) -> rule4) ((((((triple7) -> rule4)) -> rule3)) -> rule1)) -> rule2))] @5: Fiona is red.[(((((((triple7) -> rule4) ((((((triple7) -> rule4)) -> rule3)) -> rule1)) -> rule2) triple7) -> rule5))]