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