Anne is kind. Anne is nice. Anne is quiet. Anne is red. Anne is smart. Bob is furry. Bob is kind. Bob is quiet. Bob is round. Dave is nice. Dave is round. Dave is smart. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Kind, red people are furry. If Dave is kind and Dave is quiet then Dave is smart. Furry, quiet people are smart. All smart, quiet people are red. If Bob is furry then Bob is kind. If Fiona is kind and Fiona is red then Fiona is round.
Dave is not quiet.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Anne is red.[(triple4 OR ((triple5 triple3) -> rule4))] Anne is smart.[(triple5 OR ((((triple1 triple4) -> rule1) triple3) -> rule3))] Bob is furry.[(triple6)] Bob is kind.[(triple7 OR ((triple6) -> rule5))] Bob is quiet.[(triple8)] Bob is round.[(triple9)] Dave is nice.[(triple10)] Dave is round.[(triple11)] Dave is smart.[(triple12)] Fiona is furry.[(triple13 OR ((triple14 triple16) -> rule1))] Fiona is kind.[(triple14)] Fiona is quiet.[(triple15)] Fiona is red.[(triple16 OR ((((triple13 triple15) -> rule3) triple15) -> rule4))] @1: Anne is furry.[(((triple1 triple4) -> rule1) OR ((triple1 ((triple5 triple3) -> rule4)) -> rule1))] Bob is smart.[(((triple6 triple8) -> rule3))] Fiona is round.[(((triple14 triple16) -> rule6) OR ((triple14 ((((triple13 triple15) -> rule3) triple15) -> rule4)) -> rule6))] Fiona is smart.[(((triple13 triple15) -> rule3) OR ((((triple14 triple16) -> rule1) triple15) -> rule3))] @2: Bob is red.[(((((triple6 triple8) -> rule3) triple8) -> rule4))]