Charlie is furry. Dave is quiet. Dave is red. Dave is round. Fiona is red. Fiona is round. Fiona is white. If someone is nice and furry then they are white. All furry people are quiet. Quiet, red people are big.
Dave is not quiet.
@0: Charlie is furry.[(triple1)] Dave is quiet.[(triple2)] Dave is red.[(triple3)] Dave is round.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] @1: Charlie is quiet.[(((triple1) -> rule2))] Dave is big.[(((triple2 triple3) -> rule3))]