Anne is green. Anne is smart. Charlie is big. Charlie is green. Charlie is rough. Charlie is smart. Charlie is young. Fiona is big. Fiona is furry. Fiona is young. Gary is big. Gary is not furry. Gary is rough. Gary is smart. Gary is young. All young things are big. If something is smart then it is young.
Gary is not rough.
@0: Anne is green.[(triple1)] Anne is smart.[(triple2)] Charlie is big.[(triple3 OR ((triple7) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Charlie is green.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple6) -> rule2))] Fiona is big.[(triple8 OR ((triple10) -> rule1))] Fiona is furry.[(triple9)] Fiona is young.[(triple10)] Gary is big.[(triple11 OR ((triple15) -> rule1) OR ((((triple14) -> rule2)) -> rule1))] Gary is not furry.[(triple12)] Gary is rough.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15 OR ((triple14) -> rule2))] @1: Anne is young.[(((triple2) -> rule2))] @2: Anne is big.[(((((triple2) -> rule2)) -> rule1))]