Bob ate some rotten meat and now feels green. Charlie who is considered nice was feeling rather rough today. Eric was born only a few years ago so he is young. Harry is blue just like his dog. Harry is rough and round enough for the dog to use him as an exercise wheel. Red and green people that are nice are cold to strangers. Rough, round persons are also nice persons. People who are kind and green are very often rough. A person who is very round is nice but also quite rough. Being blue, cold, and rough must be very trying. At least they are also big. Anyone who's blue is also green. It's true that green and blue people are also red people.
Harry is cold.
@0: Bob is green.[(triple1)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Eric is young.[(triple4)] Harry is blue.[(triple7)] Harry is rough.[(triple6)] Harry is round.[(triple5)] @1: Harry is green.[(((triple7) -> rule6))] Harry is nice.[(((triple6 triple5) -> rule2))] @2: Harry is red.[(((((triple7) -> rule6) triple7) -> rule7))] @3: Harry is cold.[(((((((triple7) -> rule6) triple7) -> rule7) ((triple6 triple5) -> rule2) ((triple7) -> rule6)) -> rule1))] @4: Harry is big.[(((triple7 ((((((triple7) -> rule6) triple7) -> rule7) ((triple6 triple5) -> rule2) ((triple7) -> rule6)) -> rule1) triple6) -> rule5))]