Anne is furry. Anne is green. Bob is big. Bob is furry. Bob is green. Bob is round. Bob is white. Charlie is big. Charlie is green. Charlie is rough. Charlie is round. Charlie is white. All big people are white. All rough people are big.
Anne is young.
@0: Anne is furry.[(triple1)] Anne is green.[(triple2)] Bob is big.[(triple3)] Bob is furry.[(triple4)] Bob is green.[(triple5)] Bob is round.[(triple6)] Bob is white.[(triple7 OR ((triple3) -> rule1))] Charlie is big.[(triple8 OR ((triple10) -> rule2))] Charlie is green.[(triple9)] Charlie is rough.[(triple10)] Charlie is round.[(triple11)] Charlie is white.[(triple12 OR ((triple8) -> rule1) OR ((((triple10) -> rule2)) -> rule1))]