Charlie is furry. Charlie is green. Charlie is rough. Charlie is round. Charlie is white. Gary is big. Gary is furry. Gary is green. Gary is rough. Gary is round. Gary is white. Gary is young. All round things are furry. All white, furry things are round. If something is green then it is white.
Charlie is young.
@0: Charlie is furry.[(triple1 OR ((triple4) -> rule1))] Charlie is green.[(triple2)] Charlie is rough.[(triple3)] Charlie is round.[(triple4 OR ((triple5 triple1) -> rule2) OR ((((triple2) -> rule3) triple1) -> rule2))] Charlie is white.[(triple5 OR ((triple2) -> rule3))] Gary is big.[(triple6)] Gary is furry.[(triple7 OR ((triple10) -> rule1))] Gary is green.[(triple8)] Gary is rough.[(triple9)] Gary is round.[(triple10 OR ((triple11 triple7) -> rule2) OR ((((triple8) -> rule3) triple7) -> rule2))] Gary is white.[(triple11 OR ((triple8) -> rule3))] Gary is young.[(triple12)]