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