Charlie is a round and rough around the edges, and he is also big. Eric is young and green. Even though he is round he is cold outside. Fred is a young, round shaped young man who is also very cold. Gary may be round, but he is also kind. Do not fear big cold people for they are often kind. Someone who is a young age and looks like they are round are also red. Any human who is rough, green, and kind, has a blue personality. Any red sort of person is a nice person. Nice and green people are often found to be big as well.
Eric is not blue.
@0: Charlie is big.[(triple3)] Charlie is rough.[(triple2)] Charlie is round.[(triple1)] Eric is cold.[(triple7)] Eric is green.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Fred is cold.[(triple10)] Fred is round.[(triple9)] Fred is young.[(triple8)] Gary is kind.[(triple12)] Gary is round.[(triple11)] @1: Eric is red.[(((triple4 triple5) -> rule2))] Fred is red.[(((triple8 triple9) -> rule2))] @2: Eric is nice.[(((((triple4 triple5) -> rule2)) -> rule4))] Fred is nice.[(((((triple8 triple9) -> rule2)) -> rule4))] @3: Eric is big.[(((((((triple4 triple5) -> rule2)) -> rule4) triple6) -> rule5))] @4: Eric is kind.[(((triple7 ((((((triple4 triple5) -> rule2)) -> rule4) triple6) -> rule5)) -> rule1))]