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