Bob is rough. Dave is nice. Erin is smart. Green things are smart. Nice things are smart. If something is green and quiet then it is not rough. All rough things are kind. All rough, kind things are nice. If something is rough and not nice then it is red.
Erin is not quiet.
@0: Bob is rough.[(triple1)] Dave is nice.[(triple2)] Erin is smart.[(triple3)] @1: Bob is kind.[(((triple1) -> rule4))] Dave is smart.[(((triple2) -> rule2))] @2: Bob is nice.[(((triple1 ((triple1) -> rule4)) -> rule5))] @3: Bob is smart.[(((((triple1 ((triple1) -> rule4)) -> rule5)) -> rule2))]