Dave has a big round face with rosy red cheeks which makes him look really young. Eric has been blue because he's green with envy. Fred wears a green and red coat, but is always cold. Gary wears a green and red coat, but is always cold. Kind and round people are often cold to people. When someone is big and red, they are also green. It's truly amazing that blue, kind, round people are always so nice. A guy or girl that's round, kind and young is going to be a big girl or guy, too. It is a universal truth that whoever is young and round and big must also be kind. A person that has cold, big, nice qualities will also possess a rough quality. A human that is cold and also green is also going to be blue.
Eric is not round.
@0: Dave is big.[(triple4)] Dave is red.[(triple3)] Dave is round.[(triple2)] Dave is young.[(triple1)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Fred is cold.[(triple9)] Fred is green.[(triple8)] Fred is red.[(triple7)] Gary is cold.[(triple12)] Gary is green.[(triple11)] Gary is red.[(triple10)] @1: Dave is green.[(((triple4 triple3) -> rule2))] Dave is kind.[(((triple1 triple2 triple4) -> rule5))] Fred is blue.[(((triple9 triple8) -> rule7))] Gary is blue.[(((triple12 triple11) -> rule7))] @2: Dave is cold.[(((((triple1 triple2 triple4) -> rule5) triple2) -> rule1))] @3: Dave is blue.[(((((((triple1 triple2 triple4) -> rule5) triple2) -> rule1) ((triple4 triple3) -> rule2)) -> rule7))] @4: Dave is nice.[(((((((((triple1 triple2 triple4) -> rule5) triple2) -> rule1) ((triple4 triple3) -> rule2)) -> rule7) ((triple1 triple2 triple4) -> rule5) triple2) -> rule3))] @5: Dave is rough.[(((((((triple1 triple2 triple4) -> rule5) triple2) -> rule1) triple4 ((((((((triple1 triple2 triple4) -> rule5) triple2) -> rule1) ((triple4 triple3) -> rule2)) -> rule7) ((triple1 triple2 triple4) -> rule5) triple2) -> rule3)) -> rule6))]