Anne is red. Dave is quiet. Fiona is young. Harry is quiet. If something is red then it is green. All rough things are quiet. If something is rough then it is big. Nice things are rough. If Harry is rough and Harry is red then Harry is nice. If Dave is quiet then Dave is nice.
Dave is big.
@0: Anne is red.[(triple1)] Dave is quiet.[(triple2)] Fiona is young.[(triple3)] Harry is quiet.[(triple4)] @1: Anne is green.[(((triple1) -> rule1))] Dave is nice.[(((triple2) -> rule6))] @2: Dave is rough.[(((((triple2) -> rule6)) -> rule4))] @3: Dave is big.[(((((((triple2) -> rule6)) -> rule4)) -> rule3))]