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