Anne is blue. Anne is furry. Anne is quiet. Dave is blue. Dave is cold. Dave is furry. Dave is nice. Dave is quiet. Dave is round. Dave is smart. If Dave is round and Dave is nice then Dave is smart. If someone is smart then they are blue. All smart people are quiet. If someone is blue and furry then they are quiet. All quiet people are blue. If Anne is cold then Anne is smart. Nice people are cold. Furry people are blue.
Dave is not smart.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule8) OR ((triple3) -> rule5))] Anne is furry.[(triple2)] Anne is quiet.[(triple3 OR ((triple1 triple2) -> rule4) OR ((((triple2) -> rule8) triple2) -> rule4))] Dave is blue.[(triple4 OR ((triple10) -> rule2) OR ((triple6) -> rule8) OR ((triple8) -> rule5) OR ((((triple10) -> rule3)) -> rule5) OR ((((triple9 triple7) -> rule1)) -> rule2) OR ((((((triple9 triple7) -> rule1)) -> rule3)) -> rule5))] Dave is cold.[(triple5 OR ((triple7) -> rule7))] Dave is furry.[(triple6)] Dave is nice.[(triple7)] Dave is quiet.[(triple8 OR ((triple10) -> rule3) OR ((triple4 triple6) -> rule4) OR ((((triple9 triple7) -> rule1)) -> rule3) OR ((((triple10) -> rule2) triple6) -> rule4) OR ((((triple6) -> rule8) triple6) -> rule4) OR ((((((triple9 triple7) -> rule1)) -> rule2) triple6) -> rule4))] Dave is round.[(triple9)] Dave is smart.[(triple10 OR ((triple9 triple7) -> rule1))]