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