Dave is big. Dave is quiet. Erin is big. Erin is blue. Erin is furry. Fiona is blue. Fiona is furry. All quiet, kind things are not young. Kind, quiet things are smart. If something is furry and blue then it is smart. If Dave is quiet then Dave is kind. If Dave is blue and Dave is big then Dave is young. If Erin is furry and Erin is kind then Erin is young.
Dave is not smart.
@0: Dave is big.[(triple1)] Dave is quiet.[(triple2)] Erin is big.[(triple3)] Erin is blue.[(triple4)] Erin is furry.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] @1: Dave is kind.[(((triple2) -> rule4))] Erin is smart.[(((triple5 triple4) -> rule3))] Fiona is smart.[(((triple7 triple6) -> rule3))] @2: Dave is not young.[(((triple2 ((triple2) -> rule4)) -> rule1))] Dave is smart.[(((((triple2) -> rule4) triple2) -> rule2))]