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