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