Anne is furry. Anne is green. Anne is nice. Anne is red. Dave is furry. Dave is nice. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is smart. If someone is quiet and smart then they are kind.
Dave is furry.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is red.[(triple4)] Dave is furry.[(triple5)] Dave is nice.[(triple6)] Fiona is green.[(triple7)] Fiona is nice.[(triple8)] Fiona is quiet.[(triple9)] Fiona is smart.[(triple10)] @1: Fiona is kind.[(((triple9 triple10) -> rule1))]