Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is round. Fiona is quiet. Fiona is round. All round things are red. If Bob is kind and Bob is not round then Bob is quiet. If something is furry and not red then it is kind.
Fiona is not quiet.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is kind.[(triple3)] Bob is quiet.[(triple4)] Bob is round.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] @1: Bob is red.[(((triple5) -> rule1))] Fiona is red.[(((triple7) -> rule1))]