Alan seems to be round. You can tell me Charlie is rough, and I know he is kind, cold, blue and very young. Dave seems to be round. Eric is big, round and rough, but he is nice and kind. People here that are both big and kind while being cold are always red. All those who are nice and big are red. Nice people who are blue and round at the same time are always young. A person that is very big and also the color red they will also be blue. Any red sort of person is a nice person.
Dave is not rough.
@0: Alan is round.[(triple1)] Charlie is blue.[(triple6)] Charlie is cold.[(triple5)] Charlie is kind.[(triple4)] Charlie is rough.[(triple3)] Charlie is young.[(triple2)] Dave is round.[(triple7)] Eric is big.[(triple12)] Eric is kind.[(triple11)] Eric is nice.[(triple10)] Eric is rough.[(triple9)] Eric is round.[(triple8)] @1: Eric is red.[(((triple10 triple12) -> rule2))] @2: Eric is blue.[(((triple12 ((triple10 triple12) -> rule2)) -> rule4))] @3: Eric is young.[(((triple10 ((triple12 ((triple10 triple12) -> rule2)) -> rule4) triple8) -> rule3))]