Bob is cold. Dave is smart. Fiona is quiet. Gary is not quiet. If someone is red and not quiet then they are cold. Quiet people are cold. If someone is red then they are furry.
Bob is not big.
@0: Bob is cold.[(triple1)] Dave is smart.[(triple2)] Fiona is quiet.[(triple3)] Gary is not quiet.[(triple4)] @1: Fiona is cold.[(((triple3) -> rule2))]