Anne is big. Anne is kind. Anne is red. Anne is smart. Anne is young. Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is red. Charlie is smart. Charlie is young. Dave is kind. Dave is smart. Dave is young. If something is kind and red then it is young. If something is smart and furry then it is kind. If Dave is kind and Dave is blue then Dave is young. If Anne is kind and Anne is red then Anne is young. If Dave is big and Dave is young then Dave is furry. If something is red then it is big. If something is smart then it is red. If something is young and furry then it is kind.
Dave is not big.
@0: Anne is big.[(triple1 OR ((triple3) -> rule6) OR ((((triple4) -> rule7)) -> rule6))] Anne is kind.[(triple2)] Anne is red.[(triple3 OR ((triple4) -> rule7))] Anne is smart.[(triple4)] Anne is young.[(triple5 OR ((triple2 triple3) -> rule1) OR ((triple2 triple3) -> rule4) OR ((triple2 ((triple4) -> rule7)) -> rule1) OR ((triple2 ((triple4) -> rule7)) -> rule4))] Charlie is big.[(triple6 OR ((triple10) -> rule6) OR ((((triple11) -> rule7)) -> rule6))] Charlie is blue.[(triple7)] Charlie is furry.[(triple8)] Charlie is kind.[(triple9 OR ((triple11 triple8) -> rule2) OR ((triple12 triple8) -> rule8))] Charlie is red.[(triple10 OR ((triple11) -> rule7))] Charlie is smart.[(triple11)] Charlie is young.[(triple12 OR ((triple9 triple10) -> rule1) OR ((triple9 ((triple11) -> rule7)) -> rule1) OR ((((triple11 triple8) -> rule2) triple10) -> rule1) OR ((((triple11 triple8) -> rule2) ((triple11) -> rule7)) -> rule1))] Dave is kind.[(triple13 OR ((triple14 ((((((triple14) -> rule7)) -> rule6) triple15) -> rule5)) -> rule2) OR ((triple15 ((((((triple14) -> rule7)) -> rule6) triple15) -> rule5)) -> rule8))] Dave is smart.[(triple14)] Dave is young.[(triple15 OR ((triple13 ((triple14) -> rule7)) -> rule1))] @1: Dave is red.[(((triple14) -> rule7))] @2: Dave is big.[(((((triple14) -> rule7)) -> rule6))] @3: Dave is furry.[(((((((triple14) -> rule7)) -> rule6) triple15) -> rule5) OR ((((((triple14) -> rule7)) -> rule6) ((triple13 ((triple14) -> rule7)) -> rule1)) -> rule5))]