Anne is green. Anne is smart. Anne is white. Dave is green. Dave is kind. Fiona is furry. Fiona is green. Fiona is rough. Fiona is white. Fiona is young. Gary is furry. Gary is green. Gary is kind. Gary is white. Gary is young. All green things are young. All rough, green things are furry. Kind, green things are white.
Fiona is furry.
@0: Anne is green.[(triple1)] Anne is smart.[(triple2)] Anne is white.[(triple3)] Dave is green.[(triple4)] Dave is kind.[(triple5)] Fiona is furry.[(triple6 OR ((triple8 triple7) -> rule2))] Fiona is green.[(triple7)] Fiona is rough.[(triple8)] Fiona is white.[(triple9)] Fiona is young.[(triple10 OR ((triple7) -> rule1))] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is kind.[(triple13)] Gary is white.[(triple14 OR ((triple13 triple12) -> rule3))] Gary is young.[(triple15 OR ((triple12) -> rule1))] @1: Anne is young.[(((triple1) -> rule1))] Dave is white.[(((triple5 triple4) -> rule3))] Dave is young.[(((triple4) -> rule1))]