Anne is young. Fiona is furry. Gary is green. All young people are rough. If someone is furry then they are rough. All rough people are red. If someone is round and not furry then they are not green. All round people are green. Young people are green. If Anne is young then Anne is red. If Anne is round then Anne is not big.
Gary is round.
@0: Anne is young.[(triple1)] Fiona is furry.[(triple2)] Gary is green.[(triple3)] @1: Anne is green.[(((triple1) -> rule6))] Anne is red.[(((triple1) -> rule7) OR ((((triple1) -> rule1)) -> rule3))] Anne is rough.[(((triple1) -> rule1))] Fiona is rough.[(((triple2) -> rule2))] @2: Fiona is red.[(((((triple2) -> rule2)) -> rule3))]