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