Dave is green. Fiona is big. If someone is big then they are furry. All quiet people are rough. Green people are not rough. Young people are rough. If someone is furry then they are green. If Dave is young and Dave is cold then Dave is not quiet. If someone is cold and quiet then they are young. If Fiona is not big and Fiona is not young then Fiona is rough.
Fiona is not young.
@0: Dave is green.[(triple1)] Fiona is big.[(triple2)] @1: Dave is not rough.[(((triple1) -> rule3))] Fiona is furry.[(((triple2) -> rule1))] @2: Fiona is green.[(((((triple2) -> rule1)) -> rule5))] @3: Fiona is not rough.[(((((((triple2) -> rule1)) -> rule5)) -> rule3))]