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