Anne is nice. Bob is rough. Dave is nice. If something is rough then it is green. If Bob is rough and Bob is green then Bob is not big. All green things are round. If Dave is round and Dave is not green then Dave is not quiet. If something is red and nice then it is not quiet. If something is quiet then it is big. If something is quiet and not green then it is not nice. All round things are nice.
Bob is red.
@0: Anne is nice.[(triple1)] Bob is rough.[(triple2)] Dave is nice.[(triple3)] @1: Bob is green.[(((triple2) -> rule1))] @2: Bob is not big.[(((triple2 ((triple2) -> rule1)) -> rule2))] Bob is round.[(((((triple2) -> rule1)) -> rule3))] @3: Bob is nice.[(((((((triple2) -> rule1)) -> rule3)) -> rule8))]