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