Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is round. Charlie is smart. Charlie is young. All green people are young. Big, green people are round. If someone is cold then they are green. Furry people are smart. All smart people are furry. Round, big people are young.
Charlie is not cold.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple6) -> rule5))] Charlie is green.[(triple4 OR ((triple2) -> rule3))] Charlie is round.[(triple5 OR ((triple1 triple4) -> rule2) OR ((triple1 ((triple2) -> rule3)) -> rule2))] Charlie is smart.[(triple6 OR ((triple3) -> rule4))] Charlie is young.[(triple7 OR ((triple4) -> rule1) OR ((triple5 triple1) -> rule6) OR ((((triple2) -> rule3)) -> rule1) OR ((((triple1 triple4) -> rule2) triple1) -> rule6) OR ((((triple1 ((triple2) -> rule3)) -> rule2) triple1) -> rule6))]