Charlie is not big. Charlie is blue. Charlie is kind. Charlie is red. Charlie is round. Charlie is smart. Charlie is white. If Charlie is smart then Charlie is blue. All red things are smart. Big things are red. All blue things are kind. If something is white and not red then it is blue. If something is kind then it is white. Blue, big things are round. If something is smart and not white then it is round.
Charlie is big.
@0: Charlie is blue.[(triple2 OR ((triple6) -> rule1) OR ((((triple4) -> rule2)) -> rule1))] Charlie is kind.[(triple3 OR ((triple2) -> rule4) OR ((((triple6) -> rule1)) -> rule4) OR ((((((triple4) -> rule2)) -> rule1)) -> rule4))] Charlie is not big.[(triple1)] Charlie is red.[(triple4)] Charlie is round.[(triple5)] Charlie is smart.[(triple6 OR ((triple4) -> rule2))] Charlie is white.[(triple7 OR ((triple3) -> rule6) OR ((((triple2) -> rule4)) -> rule6) OR ((((((triple6) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule4)) -> rule6))]