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