Dave is a kind person and he is also often cold. Eric is kind and nice and looks green. Fred is green and cold too. Gary is known for being big and rough, but few know he is also always red with cold. A red hued and rough looking person is definitely a young person. Rough and big people are always also cold people. A blue, cold natured person will be rough textured. Young and red people look round. People who are round and behave in a cold way are surely blue.
Eric is big.
@0: Dave is cold.[(triple2)] Dave is kind.[(triple1)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Eric is nice.[(triple3)] Fred is cold.[(triple7)] Fred is green.[(triple6)] Gary is big.[(triple11)] Gary is cold.[(triple10 OR ((triple8 triple11) -> rule2))] Gary is red.[(triple9)] Gary is rough.[(triple8)] @1: Gary is young.[(((triple9 triple8) -> rule1))] @2: Gary is round.[(((((triple9 triple8) -> rule1) triple9) -> rule4))] @3: Gary is blue.[(((((((triple9 triple8) -> rule1) triple9) -> rule4) triple10) -> rule5) OR ((((((triple9 triple8) -> rule1) triple9) -> rule4) ((triple8 triple11) -> rule2)) -> rule5))]