Charlie is quiet. Dave is big. Erin is young. All big things are young. All big, nice things are not quiet. If Erin is nice and Erin is red then Erin is not kind. If Erin is not big then Erin is not smart. Young things are not nice. If Dave is nice and Dave is red then Dave is not kind. If something is big and not nice then it is smart. Nice, smart things are not kind.
Dave is not smart.
@0: Charlie is quiet.[(triple1)] Dave is big.[(triple2)] Erin is young.[(triple3)] @1: Dave is young.[(((triple2) -> rule1))] Erin is not nice.[(((triple3) -> rule5))] @2: Dave is not nice.[(((((triple2) -> rule1)) -> rule5))] @3: Dave is smart.[(((triple2 ((((triple2) -> rule1)) -> rule5)) -> rule7))]