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