Anne is kind. Anne is red. Anne is round. Anne is white. Dave is blue. Dave is cold. Dave is kind. Dave is red. Dave is rough. Dave is round. Harry is cold. Harry is kind. Harry is red. Harry is rough. Harry is round. Harry is white. Rough people are red. All kind, red people are rough. Blue, red people are white. If someone is white and blue then they are rough. If Anne is round and Anne is red then Anne is kind. If Anne is rough and Anne is cold then Anne is blue. Kind people are cold. All rough, cold people are kind.
Anne is not round.
@0: Anne is kind.[(triple1 OR ((triple3 triple2) -> rule5))] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4 OR ((((((triple1 triple2) -> rule2) ((triple1) -> rule7)) -> rule6) triple2) -> rule3) OR ((((((triple1 triple2) -> rule2) ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6) triple2) -> rule3) OR ((((((((triple3 triple2) -> rule5) triple2) -> rule2) ((triple1) -> rule7)) -> rule6) triple2) -> rule3) OR ((((((((triple3 triple2) -> rule5) triple2) -> rule2) ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6) triple2) -> rule3))] Dave is blue.[(triple5)] Dave is cold.[(triple6 OR ((triple7) -> rule7))] Dave is kind.[(triple7 OR ((triple9 triple6) -> rule8) OR ((((((triple5 triple8) -> rule3) triple5) -> rule4) triple6) -> rule8))] Dave is red.[(triple8 OR ((triple9) -> rule1))] Dave is rough.[(triple9 OR ((triple7 triple8) -> rule2) OR ((((triple5 triple8) -> rule3) triple5) -> rule4))] Dave is round.[(triple10)] Harry is cold.[(triple11 OR ((triple12) -> rule7))] Harry is kind.[(triple12 OR ((triple14 triple11) -> rule8))] Harry is red.[(triple13 OR ((triple14) -> rule1))] Harry is rough.[(triple14 OR ((triple12 triple13) -> rule2))] Harry is round.[(triple15)] Harry is white.[(triple16)] @1: Anne is cold.[(((triple1) -> rule7) OR ((((triple3 triple2) -> rule5)) -> rule7))] Anne is rough.[(((triple1 triple2) -> rule2) OR ((((triple3 triple2) -> rule5) triple2) -> rule2))] Dave is white.[(((triple5 triple8) -> rule3) OR ((triple5 ((triple9) -> rule1)) -> rule3))] @2: Anne is blue.[(((((triple1 triple2) -> rule2) ((triple1) -> rule7)) -> rule6) OR ((((triple1 triple2) -> rule2) ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6) OR ((((((triple3 triple2) -> rule5) triple2) -> rule2) ((triple1) -> rule7)) -> rule6) OR ((((((triple3 triple2) -> rule5) triple2) -> rule2) ((((triple3 triple2) -> rule5)) -> rule7)) -> rule6))]