Anne is blue. Anne is cold. Bob is big. Bob is blue. Bob is not furry. Dave is blue. Dave is cold. Dave is kind. Dave is smart. Fiona is big. Fiona is smart. Fiona is young. If Dave is blue then Dave is cold. If Dave is not big then Dave is kind. If Anne is cold and Anne is kind then Anne is young. If Anne is not big then Anne is not young. All big things are cold. If Bob is cold then Bob is blue. If something is blue and not smart then it is not kind. All big, cold things are blue.
Anne is not blue.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Bob is big.[(triple3)] Bob is blue.[(triple4 OR ((((triple3) -> rule5)) -> rule6) OR ((triple3 ((triple3) -> rule5)) -> rule8))] Bob is not furry.[(triple5)] Dave is blue.[(triple6)] Dave is cold.[(triple7 OR ((triple6) -> rule1))] Dave is kind.[(triple8)] Dave is smart.[(triple9)] Fiona is big.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)] @1: Bob is cold.[(((triple3) -> rule5))] Fiona is cold.[(((triple10) -> rule5))] @2: Fiona is blue.[(((triple10 ((triple10) -> rule5)) -> rule8))]