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