Charlie is big. Charlie is blue. Charlie is furry. Charlie is green. Charlie is red. Charlie is smart. Charlie is white. If someone is white and smart then they are furry. If Charlie is green then Charlie is smart. Smart, big people are furry.
Charlie is smart.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is furry.[(triple3 OR ((triple6 triple1) -> rule3) OR ((triple7 triple6) -> rule1) OR ((triple7 ((triple4) -> rule2)) -> rule1) OR ((((triple4) -> rule2) triple1) -> rule3))] Charlie is green.[(triple4)] Charlie is red.[(triple5)] Charlie is smart.[(triple6 OR ((triple4) -> rule2))] Charlie is white.[(triple7)]