Alan is nice, even when he is rough and red with anger. To the touch Dave has rough, cold skin. Eric is nice, even when he is rough and red with anger. Nice, but round, Gary has been said to be cold. People that tend to be big and green also tend to be cold. A big round person is nice. A green and blue colored person who is young will certainly be big. Nice people that are colored red and green are always round. When you know someone who's red, rough and nice, you'll also see that they're cold. A person with the qualities of being cold and being red will also be a person that is green. An individual who is big and nice is also green.
Alan is not round.
@0: Alan is nice.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Dave is cold.[(triple5)] Dave is rough.[(triple4)] Eric is nice.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Gary is cold.[(triple11)] Gary is nice.[(triple10)] Gary is round.[(triple9)] @1: Alan is cold.[(((triple3 triple2 triple1) -> rule5))] Eric is cold.[(((triple8 triple7 triple6) -> rule5))] @2: Alan is green.[(((((triple3 triple2 triple1) -> rule5) triple2) -> rule6))] Eric is green.[(((((triple8 triple7 triple6) -> rule5) triple7) -> rule6))] @3: Alan is round.[(((((((triple3 triple2 triple1) -> rule5) triple2) -> rule6) triple2 triple3) -> rule4))] Eric is round.[(((((((triple8 triple7 triple6) -> rule5) triple7) -> rule6) triple7 triple8) -> rule4))]