Charlie is round but he is also nice and kind. Dave is both young and red, but is nice and kind but he can be cold. The young person who is always feeling cold is named Fred. Gary may be round, but he is also kind. Young people that are turning blue from being cold will be rough looking. When you meet someone who is nice and kind, they wont feel blue. A person that is both nice and rough is someone who is also big. Kind people that are round are on the big side. Cold and red people are always kind to others. A cold blue person who is rough is also kind.
Dave is not blue.
@0: Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is round.[(triple1)] Dave is cold.[(triple8)] Dave is kind.[(triple7 OR ((triple8 triple5) -> rule5))] Dave is nice.[(triple6)] Dave is red.[(triple5)] Dave is young.[(triple4)] Fred is cold.[(triple10)] Fred is young.[(triple9)] Gary is kind.[(triple12)] Gary is round.[(triple11)] @1: Charlie is big.[(((triple3 triple1) -> rule4))] Charlie is blue.[(((triple3 triple2) -> rule2))] Dave is blue.[(((triple7 triple6) -> rule2) OR ((((triple8 triple5) -> rule5) triple6) -> rule2))] Gary is big.[(((triple12 triple11) -> rule4))] @2: Dave is rough.[(((triple8 triple4 ((triple7 triple6) -> rule2)) -> rule1) OR ((triple8 triple4 ((((triple8 triple5) -> rule5) triple6) -> rule2)) -> rule1))] @3: Dave is big.[(((((triple8 triple4 ((triple7 triple6) -> rule2)) -> rule1) triple6) -> rule3) OR ((((triple8 triple4 ((((triple8 triple5) -> rule5) triple6) -> rule2)) -> rule1) triple6) -> rule3))]