Dave is somehow red and kind and also green. Eric seems big and rough, but he's actually quite kind. Young Gary here is always rough but nice and yes he is big. Harry seems to be round. If a kind person is green and a bit blue then they are also nice. Truth be told, every big, rough person out there that is green, will also be colored blue. Every single big person is a little green in some areas. Not a single young person is not also kind. A kind young person who is green will be cold. Cold and red people are always kind to others. Any red sort of person is a nice person.
Eric is not cold.
@0: Dave is green.[(triple3)] Dave is kind.[(triple2)] Dave is red.[(triple1)] Eric is big.[(triple6)] Eric is kind.[(triple5)] Eric is rough.[(triple4)] Gary is big.[(triple10)] Gary is nice.[(triple9 OR ((((triple10) -> rule3) ((triple7) -> rule4) ((triple8 triple10 ((triple10) -> rule3)) -> rule2)) -> rule1))] Gary is rough.[(triple8)] Gary is young.[(triple7)] Harry is round.[(triple11)] @1: Dave is nice.[(((triple1) -> rule7))] Eric is green.[(((triple6) -> rule3))] Gary is green.[(((triple10) -> rule3))] Gary is kind.[(((triple7) -> rule4))] @2: Eric is blue.[(((triple4 triple6 ((triple6) -> rule3)) -> rule2))] Gary is blue.[(((triple8 triple10 ((triple10) -> rule3)) -> rule2))] Gary is cold.[(((((triple10) -> rule3) ((triple7) -> rule4) triple7) -> rule5))] @3: Eric is nice.[(((((triple6) -> rule3) triple5 ((triple4 triple6 ((triple6) -> rule3)) -> rule2)) -> rule1))]