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