Dave is a man who is both round and rough. Young, red Eric is nice. Fred gets red when he is mad and tends to act very cold. Gary was green with envy. Though everyone thought he was a nice, young guy he was always blue. He would only focus on how round he was compared to others. This person is nice and young, also round, which makes them cold. Any big, kind person that turns red is cold to the touch. A kind and cold person who is green is, surprisingly, also blue. Among cold people, those who are round and kind are also rough. A person with a round body will be feeling very cold and will be rough to handle. Being blue, cold, and rough must be very trying. At least they are also big. Young people that are nice and green tend to be blue.
Eric is not round.
@0: Dave is rough.[(triple2)] Dave is round.[(triple1)] Eric is nice.[(triple5)] Eric is red.[(triple4)] Eric is young.[(triple3)] Fred is cold.[(triple7)] Fred is red.[(triple6)] Gary is blue.[(triple12 OR ((triple8 triple10 triple11) -> rule7))] Gary is green.[(triple11)] Gary is nice.[(triple10)] Gary is round.[(triple9)] Gary is young.[(triple8)] @1: Gary is cold.[(((triple8 triple10 triple9) -> rule1))] @2: Gary is rough.[(((((triple8 triple10 triple9) -> rule1) triple9) -> rule5))] @3: Gary is big.[(((triple12 ((triple8 triple10 triple9) -> rule1) ((((triple8 triple10 triple9) -> rule1) triple9) -> rule5)) -> rule6) OR ((((triple8 triple10 triple11) -> rule7) ((triple8 triple10 triple9) -> rule1) ((((triple8 triple10 triple9) -> rule1) triple9) -> rule5)) -> rule6))]