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