Charlie is not big. Charlie is not blue. Charlie is kind. Charlie is not quiet. Charlie is red. Charlie is smart. Charlie is young. Dave is big. Dave is blue. Dave is kind. Dave is quiet. Dave is smart. Dave is young. Gary is not kind. Gary is red. If someone is red and quiet then they are big. If someone is young then they are smart. If someone is big and young then they are red. Quiet people are red. All kind people are young. If someone is red then they are young. Young, big people are kind. If someone is young and not big then they are not blue.
Dave is not red.
@0: Charlie is kind.[(triple3)] Charlie is not big.[(triple1)] Charlie is not blue.[(triple2 OR ((triple7 triple1) -> rule8) OR ((((triple3) -> rule5) triple1) -> rule8) OR ((((triple5) -> rule6) triple1) -> rule8))] Charlie is not quiet.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6 OR ((triple7) -> rule2) OR ((((triple3) -> rule5)) -> rule2) OR ((((triple5) -> rule6)) -> rule2))] Charlie is young.[(triple7 OR ((triple3) -> rule5) OR ((triple5) -> rule6))] Dave is big.[(triple8 OR ((((triple11) -> rule4) triple11) -> rule1))] Dave is blue.[(triple9)] Dave is kind.[(triple10 OR ((triple13 triple8) -> rule7) OR ((triple13 ((((triple11) -> rule4) triple11) -> rule1)) -> rule7) OR ((((((triple11) -> rule4)) -> rule6) triple8) -> rule7) OR ((((((triple11) -> rule4)) -> rule6) ((((triple11) -> rule4) triple11) -> rule1)) -> rule7))] Dave is quiet.[(triple11)] Dave is smart.[(triple12 OR ((triple13) -> rule2) OR ((((triple10) -> rule5)) -> rule2) OR ((((((triple11) -> rule4)) -> rule6)) -> rule2))] Dave is young.[(triple13 OR ((triple10) -> rule5) OR ((((triple11) -> rule4)) -> rule6))] Gary is not kind.[(triple14)] Gary is red.[(triple15)] @1: Dave is red.[(((triple11) -> rule4) OR ((triple8 triple13) -> rule3) OR ((triple8 ((triple10) -> rule5)) -> rule3))] Gary is young.[(((triple15) -> rule6))] @2: Gary is smart.[(((((triple15) -> rule6)) -> rule2))]