Dave is big. Fiona is kind. Green things are big. All big, cold things are quiet. If something is kind then it is cold. If Dave is big then Dave is cold. If Dave is young then Dave is red. If something is kind then it is young.
Fiona is not big.
@0: Dave is big.[(triple1)] Fiona is kind.[(triple2)] @1: Dave is cold.[(((triple1) -> rule4))] Fiona is cold.[(((triple2) -> rule3))] Fiona is young.[(((triple2) -> rule6))] @2: Dave is quiet.[(((triple1 ((triple1) -> rule4)) -> rule2))]