Anne is round. Bob is young. Dave is rough. Gary is round. If Dave is rough then Dave is red. All green, nice things are red. All young things are red. All red, nice things are rough. All red things are green. All rough, round things are nice.
Dave is not smart.
@0: Anne is round.[(triple1)] Bob is young.[(triple2)] Dave is rough.[(triple3)] Gary is round.[(triple4)] @1: Bob is red.[(((triple2) -> rule3))] Dave is red.[(((triple3) -> rule1))] @2: Bob is green.[(((((triple2) -> rule3)) -> rule5))] Dave is green.[(((((triple3) -> rule1)) -> rule5))]