Charlie is big. Fiona is white. If Charlie is furry and Charlie is big then Charlie is red. Cold, big people are white. Quiet people are cold. If Fiona is white then Fiona is furry. If someone is quiet then they are not furry. If someone is big and cold then they are furry.
Charlie is big.
@0: Charlie is big.[(triple1)] Fiona is white.[(triple2)] @1: Fiona is furry.[(((triple2) -> rule4))]