Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is kind. Charlie is quiet. Charlie is smart. Quiet, cold people are kind. If someone is kind and quiet then they are smart. If someone is big and quiet then they are furry. If Charlie is big then Charlie is kind. All kind, smart people are furry. If Charlie is cold and Charlie is kind then Charlie is quiet. Big people are kind. If someone is kind and quiet then they are big.
Charlie is not kind.
@0: Charlie is big.[(triple1 OR ((triple5 triple6) -> rule8) OR ((triple5 ((triple3 triple5) -> rule6)) -> rule8) OR ((((triple6 triple3) -> rule1) triple6) -> rule8) OR ((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule8))] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is furry.[(triple4 OR ((triple1 triple6) -> rule3) OR ((triple5 triple7) -> rule5) OR ((triple1 ((triple3 triple5) -> rule6)) -> rule3) OR ((triple5 ((triple5 triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule4) triple7) -> rule5) OR ((((triple1) -> rule7) triple7) -> rule5) OR ((((triple5 triple6) -> rule8) triple6) -> rule3) OR ((((triple6 triple3) -> rule1) triple7) -> rule5) OR ((((triple1) -> rule4) ((triple5 triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((triple5 triple6) -> rule2)) -> rule5) OR ((((triple5 triple6) -> rule8) ((triple3 triple5) -> rule6)) -> rule3) OR ((((triple6 triple3) -> rule1) ((triple5 triple6) -> rule2)) -> rule5) OR ((triple1 ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((triple1 ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule3) OR ((triple5 ((triple5 ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule4) triple6) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule7) triple6) -> rule2)) -> rule5) OR ((triple5 ((((triple6 triple3) -> rule1) triple6) -> rule2)) -> rule5) OR ((((triple5 ((triple3 triple5) -> rule6)) -> rule8) triple6) -> rule3) OR ((((((triple6 triple3) -> rule1) triple6) -> rule8) triple6) -> rule3) OR ((triple5 ((((triple1) -> rule4) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule7) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((triple5 ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule4) triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule7) triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple6 triple3) -> rule1) triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((triple5 ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule4) triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule7) triple6) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple6 triple3) -> rule1) triple6) -> rule2)) -> rule5) OR ((((triple5 triple6) -> rule8) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((triple5 triple6) -> rule8) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule3) OR ((((triple5 ((triple3 triple5) -> rule6)) -> rule8) ((triple3 triple5) -> rule6)) -> rule3) OR ((((triple6 triple3) -> rule1) ((triple5 ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule4) triple6) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule7) triple6) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple6 triple3) -> rule1) triple6) -> rule2)) -> rule5) OR ((((((triple6 triple3) -> rule1) triple6) -> rule8) ((triple3 triple5) -> rule6)) -> rule3) OR ((((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule8) triple6) -> rule3) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule7) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule4) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule7) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple5 ((triple3 triple5) -> rule6)) -> rule8) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((triple5 ((triple3 triple5) -> rule6)) -> rule8) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule3) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule4) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule7) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule2)) -> rule5) OR ((((((triple6 triple3) -> rule1) triple6) -> rule8) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((((triple6 triple3) -> rule1) triple6) -> rule8) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule3) OR ((((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule8) ((triple3 triple5) -> rule6)) -> rule3) OR ((((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule8) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule3) OR ((((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule8) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule3) OR ((triple5 ((triple5 ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((triple5 ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule4) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule4) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule7) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple1) -> rule7) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((triple5 ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((triple5 ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((triple5 ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((triple5 ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((triple5 ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((triple5 ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((triple5 ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule4) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule7) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule7) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule4) ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule4) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule4) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule7) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple1) -> rule7) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple1) -> rule7) ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule4) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule4) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule7) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple1) -> rule7) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2)) -> rule5) OR ((((triple6 triple3) -> rule1) ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2)) -> rule5))] Charlie is kind.[(triple5 OR ((triple1) -> rule4) OR ((triple1) -> rule7) OR ((triple6 triple3) -> rule1))] Charlie is quiet.[(triple6 OR ((triple3 triple5) -> rule6) OR ((triple3 ((triple1) -> rule4)) -> rule6) OR ((triple3 ((triple1) -> rule7)) -> rule6))] Charlie is smart.[(triple7 OR ((triple5 triple6) -> rule2) OR ((triple5 ((triple3 triple5) -> rule6)) -> rule2) OR ((((triple1) -> rule4) triple6) -> rule2) OR ((((triple1) -> rule7) triple6) -> rule2) OR ((((triple6 triple3) -> rule1) triple6) -> rule2) OR ((((triple1) -> rule4) ((triple3 triple5) -> rule6)) -> rule2) OR ((((triple1) -> rule7) ((triple3 triple5) -> rule6)) -> rule2) OR ((((triple6 triple3) -> rule1) ((triple3 triple5) -> rule6)) -> rule2) OR ((triple5 ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2) OR ((triple5 ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((triple1) -> rule4) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((triple1) -> rule7) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((triple1) -> rule7) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2) OR ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule4)) -> rule6)) -> rule2) OR ((((triple6 triple3) -> rule1) ((triple3 ((triple1) -> rule7)) -> rule6)) -> rule2))]