Red Charlie is still young while also very blue and green. Dave seems to be round. Eric, who is relatively young, is also pretty big and tends to be cold. Gary who is young and nice is also quite big and feels green. Not a single young person is not also kind. When you meet someone who is nice and kind, they wont feel blue. All those who are nice and big are red. A young person who is big and rough and big is also usually round. Young and red people look round. If a person is blue and red and big, then that person is cold.
Eric is not red.
@0: Charlie is blue.[(triple4)] Charlie is green.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Dave is round.[(triple5)] Eric is big.[(triple8)] Eric is cold.[(triple7)] Eric is young.[(triple6)] Gary is big.[(triple12)] Gary is green.[(triple11)] Gary is nice.[(triple10)] Gary is young.[(triple9)] @1: Charlie is kind.[(((triple1) -> rule1))] Charlie is round.[(((triple1 triple2) -> rule5))] Eric is kind.[(((triple6) -> rule1))] Gary is kind.[(((triple9) -> rule1))] Gary is red.[(((triple10 triple12) -> rule3))] @2: Gary is blue.[(((((triple9) -> rule1) triple10) -> rule2))] Gary is round.[(((triple9 ((triple10 triple12) -> rule3)) -> rule5))] @3: Gary is cold.[(((((((triple9) -> rule1) triple10) -> rule2) triple12 ((triple10 triple12) -> rule3)) -> rule6))]