Anne is furry. Anne is green. Anne is kind. Anne is white. Charlie is furry. Charlie is young. Fiona is green. Fiona is kind. Fiona is nice. Fiona is young. Gary is furry. Gary is kind. Gary is nice. Gary is white. Gary is young. Red, kind people are young. If Anne is kind then Anne is red. Green people are furry.
Charlie is not nice.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule3))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is white.[(triple4)] Charlie is furry.[(triple5)] Charlie is young.[(triple6)] Fiona is green.[(triple7)] Fiona is kind.[(triple8)] Fiona is nice.[(triple9)] Fiona is young.[(triple10)] Gary is furry.[(triple11)] Gary is kind.[(triple12)] Gary is nice.[(triple13)] Gary is white.[(triple14)] Gary is young.[(triple15)] @1: Anne is red.[(((triple3) -> rule2))] Fiona is furry.[(((triple7) -> rule3))] @2: Anne is young.[(((((triple3) -> rule2) triple3) -> rule1))]