Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is smart. Dave is cold. Dave is red. Dave is smart. Dave is young. If something is blue and not smart then it is cold. Red, nice things are furry. If something is furry then it is red. All furry, nice things are red. If Dave is red and Dave is nice then Dave is not furry. All blue things are young.
Dave is nice.
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3 OR ((triple5 triple4) -> rule2))] Anne is nice.[(triple4)] Anne is red.[(triple5 OR ((triple3) -> rule3) OR ((triple3 triple4) -> rule4))] Anne is smart.[(triple6)] Dave is cold.[(triple7)] Dave is red.[(triple8)] Dave is smart.[(triple9)] Dave is young.[(triple10)] @1: Anne is young.[(((triple1) -> rule6))]