Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is not quiet. Anne is round. Anne is not smart. Dave is not furry. Dave is quiet. Harry is not big. Harry is blue. Harry is furry. Harry is quiet. Harry is round. Harry is not smart. If Anne is furry then Anne is blue. If someone is blue then they are round. If someone is blue then they are furry. If someone is smart then they are furry. If Harry is round then Harry is quiet. If Dave is big then Dave is not round. Quiet, smart people are big. If someone is round and not blue then they are not cold.
Dave is not quiet.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2 OR ((triple4) -> rule1))] Anne is cold.[(triple3)] Anne is furry.[(triple4 OR ((triple2) -> rule3))] Anne is not quiet.[(triple5)] Anne is not smart.[(triple7)] Anne is round.[(triple6 OR ((triple2) -> rule2) OR ((((triple4) -> rule1)) -> rule2))] Dave is not furry.[(triple8)] Dave is quiet.[(triple9)] Harry is blue.[(triple11)] Harry is furry.[(triple12 OR ((triple11) -> rule3))] Harry is not big.[(triple10)] Harry is not smart.[(triple15)] Harry is quiet.[(triple13 OR ((triple14) -> rule5) OR ((((triple11) -> rule2)) -> rule5))] Harry is round.[(triple14 OR ((triple11) -> rule2))]