Anne is big. Anne is not furry. Anne is kind. Anne is not quiet. Anne is red. Anne is not round. Anne is young. Dave is big. Dave is not quiet. Dave is red. Erin is big. Erin is furry. Erin is kind. Erin is quiet. Erin is red. Erin is round. If Erin is red and Erin is quiet then Erin is young. Quiet things are round. If Erin is furry and Erin is young then Erin is quiet. Big things are young. If something is quiet and red then it is young. Big, furry things are kind.
Anne is big.
@0: Anne is big.[(triple1)] Anne is kind.[(triple3)] Anne is not furry.[(triple2)] Anne is not quiet.[(triple4)] Anne is not round.[(triple6)] Anne is red.[(triple5)] Anne is young.[(triple7 OR ((triple1) -> rule4))] Dave is big.[(triple8)] Dave is not quiet.[(triple9)] Dave is red.[(triple10)] Erin is big.[(triple11)] Erin is furry.[(triple12)] Erin is kind.[(triple13 OR ((triple11 triple12) -> rule6))] Erin is quiet.[(triple14 OR ((triple12 ((triple11) -> rule4)) -> rule3))] Erin is red.[(triple15)] Erin is round.[(triple16 OR ((triple14) -> rule2) OR ((((triple12 ((triple11) -> rule4)) -> rule3)) -> rule2))] @1: Dave is young.[(((triple8) -> rule4))] Erin is young.[(((triple11) -> rule4) OR ((triple14 triple15) -> rule5) OR ((triple15 triple14) -> rule1))]