Anne is nice. Anne is quiet. Anne is smart. Anne is young. Charlie is furry. Charlie is nice. Charlie is round. Charlie is smart. Dave is kind. Dave is nice. Dave is quiet. Dave is young. Erin is furry. Erin is quiet. Erin is round. Erin is young. If something is young and kind then it is nice. If something is nice and quiet then it is kind. If something is kind then it is quiet. If something is furry and smart then it is nice. If Dave is furry and Dave is quiet then Dave is young. If Anne is smart then Anne is young. All quiet, smart things are round. All nice, round things are kind.
Dave is smart.
@0: Anne is nice.[(triple1)] Anne is quiet.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4 OR ((triple3) -> rule6))] Charlie is furry.[(triple5)] Charlie is nice.[(triple6 OR ((triple5 triple8) -> rule4))] Charlie is round.[(triple7)] Charlie is smart.[(triple8)] Dave is kind.[(triple9 OR ((triple10 triple11) -> rule2))] Dave is nice.[(triple10 OR ((triple12 triple9) -> rule1))] Dave is quiet.[(triple11 OR ((triple9) -> rule3))] Dave is young.[(triple12)] Erin is furry.[(triple13)] Erin is quiet.[(triple14)] Erin is round.[(triple15)] Erin is young.[(triple16)] @1: Anne is kind.[(((triple1 triple2) -> rule2) OR ((triple1 ((triple2 triple3) -> rule7)) -> rule8))] Anne is round.[(((triple2 triple3) -> rule7))] Charlie is kind.[(((triple6 triple7) -> rule8) OR ((((triple5 triple8) -> rule4) triple7) -> rule8))] @2: Charlie is quiet.[(((((triple6 triple7) -> rule8)) -> rule3) OR ((((((triple5 triple8) -> rule4) triple7) -> rule8)) -> rule3))]