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