Charlie is furry. Fiona is nice. Gary is round. All kind things are quiet. If something is furry then it is big.
Fiona is not nice.
@0: Charlie is furry.[(triple1)] Fiona is nice.[(triple2)] Gary is round.[(triple3)] @1: Charlie is big.[(((triple1) -> rule2))]