Anne is green. Dave is round. Quiet people are young. If someone is kind then they are quiet. If Dave is kind and Dave is green then Dave is quiet. If Dave is quiet then Dave is smart. All round people are big. If someone is smart then they are quiet.
Dave is kind.
@0: Anne is green.[(triple1)] Dave is round.[(triple2)] @1: Dave is big.[(((triple2) -> rule5))]