Charlie is big. Charlie is blue. Charlie is furry. Charlie is kind. Charlie is nice. Charlie is red. Charlie is white. White, nice people are big. If someone is kind and nice then they are blue. If someone is furry and nice then they are kind. All red people are nice. If someone is kind and blue then they are furry. Blue people are big. If someone is white then they are kind. Nice people are kind.
Charlie is not nice.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule6) OR ((triple7 triple5) -> rule1) OR ((((triple4 triple5) -> rule2)) -> rule6) OR ((triple7 ((triple6) -> rule4)) -> rule1) OR ((((triple4 ((triple6) -> rule4)) -> rule2)) -> rule6) OR ((((((triple5) -> rule8) triple5) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) triple5) -> rule2)) -> rule6) OR ((((((triple3 triple5) -> rule3) triple5) -> rule2)) -> rule6) OR ((((((triple5) -> rule8) ((triple6) -> rule4)) -> rule2)) -> rule6) OR ((((((triple7) -> rule7) ((triple6) -> rule4)) -> rule2)) -> rule6) OR ((((((triple3 triple5) -> rule3) ((triple6) -> rule4)) -> rule2)) -> rule6) OR ((((((((triple6) -> rule4)) -> rule8) triple5) -> rule2)) -> rule6) OR ((((((triple3 ((triple6) -> rule4)) -> rule3) triple5) -> rule2)) -> rule6) OR ((((((((triple6) -> rule4)) -> rule8) ((triple6) -> rule4)) -> rule2)) -> rule6) OR ((((((triple3 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule2)) -> rule6))] Charlie is blue.[(triple2 OR ((triple4 triple5) -> rule2) OR ((triple4 ((triple6) -> rule4)) -> rule2) OR ((((triple5) -> rule8) triple5) -> rule2) OR ((((triple7) -> rule7) triple5) -> rule2) OR ((((triple3 triple5) -> rule3) triple5) -> rule2) OR ((((triple5) -> rule8) ((triple6) -> rule4)) -> rule2) OR ((((triple7) -> rule7) ((triple6) -> rule4)) -> rule2) OR ((((triple3 triple5) -> rule3) ((triple6) -> rule4)) -> rule2) OR ((((((triple6) -> rule4)) -> rule8) triple5) -> rule2) OR ((((triple3 ((triple6) -> rule4)) -> rule3) triple5) -> rule2) OR ((((((triple6) -> rule4)) -> rule8) ((triple6) -> rule4)) -> rule2) OR ((((triple3 ((triple6) -> rule4)) -> rule3) ((triple6) -> rule4)) -> rule2))] Charlie is furry.[(triple3 OR ((triple4 triple2) -> rule5) OR ((triple4 ((triple4 triple5) -> rule2)) -> rule5) OR ((((triple5) -> rule8) triple2) -> rule5) OR ((((triple7) -> rule7) triple2) -> rule5) OR ((((triple5) -> rule8) ((triple4 triple5) -> rule2)) -> rule5) OR ((((triple7) -> rule7) ((triple4 triple5) -> rule2)) -> rule5) OR ((triple4 ((triple4 ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((triple4 ((((triple5) -> rule8) triple5) -> rule2)) -> rule5) OR ((triple4 ((((triple7) -> rule7) triple5) -> rule2)) -> rule5) OR ((((((triple6) -> rule4)) -> rule8) triple2) -> rule5) OR ((triple4 ((((triple5) -> rule8) ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((triple4 ((((triple7) -> rule7) ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((triple5) -> rule8) ((triple4 ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((triple5) -> rule8) ((((triple5) -> rule8) triple5) -> rule2)) -> rule5) OR ((((triple5) -> rule8) ((((triple7) -> rule7) triple5) -> rule2)) -> rule5) OR ((((triple7) -> rule7) ((triple4 ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((triple7) -> rule7) ((((triple5) -> rule8) triple5) -> rule2)) -> rule5) OR ((((triple7) -> rule7) ((((triple7) -> rule7) triple5) -> rule2)) -> rule5) OR ((((((triple6) -> rule4)) -> rule8) ((triple4 triple5) -> rule2)) -> rule5) OR ((((triple5) -> rule8) ((((triple5) -> rule8) ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((triple5) -> rule8) ((((triple7) -> rule7) ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((triple7) -> rule7) ((((triple5) -> rule8) ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((triple7) -> rule7) ((((triple7) -> rule7) ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((((triple6) -> rule4)) -> rule8) ((triple4 ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((((triple6) -> rule4)) -> rule8) ((((triple5) -> rule8) triple5) -> rule2)) -> rule5) OR ((((((triple6) -> rule4)) -> rule8) ((((triple7) -> rule7) triple5) -> rule2)) -> rule5) OR ((((((triple6) -> rule4)) -> rule8) ((((triple5) -> rule8) ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((((triple6) -> rule4)) -> rule8) ((((triple7) -> rule7) ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((triple4 ((((((triple6) -> rule4)) -> rule8) triple5) -> rule2)) -> rule5) OR ((triple4 ((((((triple6) -> rule4)) -> rule8) ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((triple5) -> rule8) ((((((triple6) -> rule4)) -> rule8) triple5) -> rule2)) -> rule5) OR ((((triple7) -> rule7) ((((((triple6) -> rule4)) -> rule8) triple5) -> rule2)) -> rule5) OR ((((triple5) -> rule8) ((((((triple6) -> rule4)) -> rule8) ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((triple7) -> rule7) ((((((triple6) -> rule4)) -> rule8) ((triple6) -> rule4)) -> rule2)) -> rule5) OR ((((((triple6) -> rule4)) -> rule8) ((((((triple6) -> rule4)) -> rule8) triple5) -> rule2)) -> rule5) OR ((((((triple6) -> rule4)) -> rule8) ((((((triple6) -> rule4)) -> rule8) ((triple6) -> rule4)) -> rule2)) -> rule5))] Charlie is kind.[(triple4 OR ((triple5) -> rule8) OR ((triple7) -> rule7) OR ((triple3 triple5) -> rule3) OR ((((triple6) -> rule4)) -> rule8) OR ((triple3 ((triple6) -> rule4)) -> rule3))] Charlie is nice.[(triple5 OR ((triple6) -> rule4))] Charlie is red.[(triple6)] Charlie is white.[(triple7)]