Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. All quiet, smart things are kind. If something is kind and quiet then it is smart. If something is young then it is smart. All young things are big. If something is big and green then it is quiet. If something is big then it is quiet.
Charlie is not red.
@0: Charlie is big.[(triple1 OR ((triple7) -> rule4))] Charlie is green.[(triple2)] Charlie is kind.[(triple3 OR ((triple4 triple6) -> rule1) OR ((triple4 ((triple7) -> rule3)) -> rule1) OR ((((triple1) -> rule6) triple6) -> rule1) OR ((((triple1 triple2) -> rule5) triple6) -> rule1) OR ((((triple1) -> rule6) ((triple7) -> rule3)) -> rule1) OR ((((triple1 triple2) -> rule5) ((triple7) -> rule3)) -> rule1) OR ((((((triple7) -> rule4)) -> rule6) triple6) -> rule1) OR ((((((triple7) -> rule4) triple2) -> rule5) triple6) -> rule1) OR ((((((triple7) -> rule4)) -> rule6) ((triple7) -> rule3)) -> rule1) OR ((((((triple7) -> rule4) triple2) -> rule5) ((triple7) -> rule3)) -> rule1))] Charlie is quiet.[(triple4 OR ((triple1) -> rule6) OR ((triple1 triple2) -> rule5) OR ((((triple7) -> rule4)) -> rule6) OR ((((triple7) -> rule4) triple2) -> rule5))] Charlie is red.[(triple5)] Charlie is smart.[(triple6 OR ((triple7) -> rule3) OR ((triple3 triple4) -> rule2) OR ((triple3 ((triple1) -> rule6)) -> rule2) OR ((triple3 ((triple1 triple2) -> rule5)) -> rule2) OR ((triple3 ((((triple7) -> rule4)) -> rule6)) -> rule2) OR ((triple3 ((((triple7) -> rule4) triple2) -> rule5)) -> rule2))] Charlie is young.[(triple7)]