Dave, a green man, was also big, but underneath he was kind. Eric fits the description of someone who is rough, red and blue. Gary who is round is kind but today he is feeling cold and green. Young Harry is wearing green pants. A big person who is kind but blue is cold. Big and cold people tend to see red and dont live green lifestyle. A rather round and big person will be kind, but also blue. Any person who is blue and round, if they are kind at the same time, will be young. Someone blue and red is definitely round and dressed as a clown. There are so many rough, young people and for some reason they are all big too. A person that is green also someone who is big.
Dave is not rough.
@0: Dave is big.[(triple3 OR ((triple2) -> rule7))] Dave is green.[(triple2)] Dave is kind.[(triple1)] Eric is blue.[(triple6)] Eric is red.[(triple5)] Eric is rough.[(triple4)] Gary is cold.[(triple10 OR ((((triple7 triple8 ((triple9) -> rule7)) -> rule3) triple8 ((triple9) -> rule7)) -> rule1))] Gary is green.[(triple9)] Gary is kind.[(triple8)] Gary is round.[(triple7)] Harry is green.[(triple12)] Harry is young.[(triple11)] @1: Eric is round.[(((triple6 triple5) -> rule5))] Gary is big.[(((triple9) -> rule7))] Harry is big.[(((triple12) -> rule7))] @2: Gary is blue.[(((triple7 triple8 ((triple9) -> rule7)) -> rule3))] @3: Gary is young.[(((((triple7 triple8 ((triple9) -> rule7)) -> rule3) triple7 triple8) -> rule4))]