Dave wears a green and red coat, but is always cold. Eric is not only red but green and blue as well. Gary is quite round but rough and is on the nice side, but rather cold. Harry is very big for being so young. Blue people who are also green with envy are rough. If you are green and also red, then you are young. When people are still young, the blue and round ones will also be a bit red. Remember that anyone with round shapes and rough edges is nice. Maybe someone is round and rough but wears green shoes. Someone nice is kind. A person who is attending school will be quite young and always wearing green and red clothing is always going to be nice to you.
Eric is big.
@0: Dave is cold.[(triple3)] Dave is green.[(triple2)] Dave is red.[(triple1)] Eric is blue.[(triple6)] Eric is green.[(triple5)] Eric is red.[(triple4)] Gary is cold.[(triple10)] Gary is nice.[(triple9 OR ((triple7 triple8) -> rule4))] Gary is rough.[(triple8)] Gary is round.[(triple7)] Harry is big.[(triple12)] Harry is young.[(triple11)] @1: Dave is young.[(((triple2 triple1) -> rule2))] Eric is rough.[(((triple6 triple5) -> rule1))] Eric is young.[(((triple5 triple4) -> rule2))] Gary is green.[(((triple8 triple7) -> rule5))] Gary is kind.[(((triple9) -> rule6) OR ((((triple7 triple8) -> rule4)) -> rule6))] @2: Dave is nice.[(((((triple2 triple1) -> rule2) triple2 triple1) -> rule7))] Eric is nice.[(((((triple5 triple4) -> rule2) triple5 triple4) -> rule7))] @3: Dave is kind.[(((((((triple2 triple1) -> rule2) triple2 triple1) -> rule7)) -> rule6))] Eric is kind.[(((((((triple5 triple4) -> rule2) triple5 triple4) -> rule7)) -> rule6))]