Dave may be round, but he is also kind. Eric seems to be round. Fred might be rough and red but he's actually very kind. Gary is both young and red, but is nice and kind but he can be cold. If a person is described as being nice, cold and young it usually follow that they are red. When someone is kind yet can be cold and blue, they will also be very big. Rough, cold people are blue. A person who is blue, red and nice is usually considered to be a young person. An individual with the traits of being nice, red, and cold is also round. Rough people who look red are cold.
Eric is big.
@0: Dave is kind.[(triple2)] Dave is round.[(triple1)] Eric is round.[(triple3)] Fred is kind.[(triple6)] Fred is red.[(triple5)] Fred is rough.[(triple4)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is nice.[(triple9)] Gary is red.[(triple8 OR ((triple9 triple11 triple7) -> rule1))] Gary is young.[(triple7)] @1: Fred is cold.[(((triple5 triple4) -> rule6))] Gary is round.[(((triple9 triple8 triple11) -> rule5) OR ((triple9 ((triple9 triple11 triple7) -> rule1) triple11) -> rule5))] @2: Fred is blue.[(((triple4 ((triple5 triple4) -> rule6)) -> rule3))] @3: Fred is big.[(((triple6 ((triple5 triple4) -> rule6) ((triple4 ((triple5 triple4) -> rule6)) -> rule3)) -> rule2))]