Anne is furry. Anne is red. Anne is young. If something is round and green then it is furry. If something is green and red then it is round. If Anne is young then Anne is furry.
Anne is furry.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule3))] Anne is red.[(triple2)] Anne is young.[(triple3)]