Alan was proud of being round, yet rough. His red cheeks glowed. Dave is a young, rough person who is rather round but is also kind to everyone he meets. Eric is quite rough and very kind, but unfortunately cold and also blue. That guy Gary sure is nice. A very big person who is green but also red is a rough person. People who are young and blue are also red. If someone is cold and blue, you will find that they are also quite young. If someone shows that they are red, then they are also showing that they are green. People who are round and green while being cold are also red.
Eric is young.
@0: Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Dave is kind.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Dave is young.[(triple4)] Eric is blue.[(triple11)] Eric is cold.[(triple10)] Eric is kind.[(triple9)] Eric is rough.[(triple8)] Gary is nice.[(triple12)] @1: Alan is green.[(((triple3) -> rule4))] Eric is young.[(((triple11 triple10) -> rule3))] @2: Eric is red.[(((((triple11 triple10) -> rule3) triple11) -> rule2))] @3: Eric is green.[(((((((triple11 triple10) -> rule3) triple11) -> rule2)) -> rule4))]