Charlie seems to be round. Dave is green and cold too. Fred is a young, round shaped young man who is also very cold. Gary is green and cold too. Young people who are nice and look round are also going to be green. Any person that's blue, young and green will turn out to be a nice person, too. A young, green person in my experience is round shaped and nice. All young and kind people that feel blue are described as red. Anyone feeling cold is bound to act nice. Nice and green people are often found to be big as well.
Fred is nice.
@0: Charlie is round.[(triple1)] Dave is cold.[(triple3)] Dave is green.[(triple2)] Fred is cold.[(triple6)] Fred is round.[(triple5)] Fred is young.[(triple4)] Gary is cold.[(triple8)] Gary is green.[(triple7)] @1: Dave is nice.[(((triple3) -> rule5))] Fred is nice.[(((triple6) -> rule5))] Gary is nice.[(((triple8) -> rule5))] @2: Dave is big.[(((((triple3) -> rule5) triple2) -> rule6))] Fred is green.[(((((triple6) -> rule5) triple5 triple4) -> rule1))] Gary is big.[(((((triple8) -> rule5) triple7) -> rule6))] @3: Fred is big.[(((((triple6) -> rule5) ((((triple6) -> rule5) triple5 triple4) -> rule1)) -> rule6))]