Charlie is big. Charlie is kind. Dave is not kind. Dave is not rough. Erin is quiet. Erin is red. Erin is not rough. If something is smart then it is quiet. If Dave is not rough then Dave is smart. If something is quiet then it is red.
Erin is not young.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple2)] Dave is not kind.[(triple3)] Dave is not rough.[(triple4)] Erin is not rough.[(triple7)] Erin is quiet.[(triple5)] Erin is red.[(triple6 OR ((triple5) -> rule3))] @1: Dave is smart.[(((triple4) -> rule2))] @2: Dave is quiet.[(((((triple4) -> rule2)) -> rule1))] @3: Dave is red.[(((((((triple4) -> rule2)) -> rule1)) -> rule3))]