Alan may be round, but he is also kind. Eric is green and cold too. Young Gary has rough, green skin that is always cold.  Gary is known for being a nice guy. Green, big and red are qualities which all describe Harry. When a person is nice and round and cold, they look blue. Kind people that are red and round are usually big. Young people who are cold and blue are actually kind. All young and kind people that feel blue are described as red. A red, nice person will definitely be a blue person. When you run into someone who is rough and green at the same time, they will also be red. Green folks who are nice and rough are a round shape.
Gary is nice.
@0: Alan is kind.[(triple2)] Alan is round.[(triple1)] Eric is cold.[(triple4)] Eric is green.[(triple3)] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is nice.[(triple7)] Gary is rough.[(triple6)] Gary is young.[(triple5)] Harry is big.[(triple12)] Harry is green.[(triple11)] Harry is red.[(triple10)] @1: Gary is red.[(((triple6 triple8) -> rule6) OR ((((((triple7 triple6 triple8) -> rule7) triple7 triple9) -> rule1) triple5 ((triple9 ((((triple7 triple6 triple8) -> rule7) triple7 triple9) -> rule1) triple5) -> rule3)) -> rule4))] Gary is round.[(((triple7 triple6 triple8) -> rule7))] @2: Gary is blue.[(((((triple6 triple8) -> rule6) triple7) -> rule5) OR ((((triple7 triple6 triple8) -> rule7) triple7 triple9) -> rule1))] @3: Gary is kind.[(((triple9 ((((triple6 triple8) -> rule6) triple7) -> rule5) triple5) -> rule3) OR ((triple9 ((((triple7 triple6 triple8) -> rule7) triple7 triple9) -> rule1) triple5) -> rule3))] @4: Gary is big.[(((((triple9 ((((triple6 triple8) -> rule6) triple7) -> rule5) triple5) -> rule3) ((triple7 triple6 triple8) -> rule7) ((triple6 triple8) -> rule6)) -> rule2) OR ((((triple9 ((((triple7 triple6 triple8) -> rule7) triple7 triple9) -> rule1) triple5) -> rule3) ((triple7 triple6 triple8) -> rule7) ((triple6 triple8) -> rule6)) -> rule2) OR ((((triple9 ((((triple6 triple8) -> rule6) triple7) -> rule5) triple5) -> rule3) ((triple7 triple6 triple8) -> rule7) ((((((triple7 triple6 triple8) -> rule7) triple7 triple9) -> rule1) triple5 ((triple9 ((((triple7 triple6 triple8) -> rule7) triple7 triple9) -> rule1) triple5) -> rule3)) -> rule4)) -> rule2) OR ((((triple9 ((((triple7 triple6 triple8) -> rule7) triple7 triple9) -> rule1) triple5) -> rule3) ((triple7 triple6 triple8) -> rule7) ((((((triple7 triple6 triple8) -> rule7) triple7 triple9) -> rule1) triple5 ((triple9 ((((triple7 triple6 triple8) -> rule7) triple7 triple9) -> rule1) triple5) -> rule3)) -> rule4)) -> rule2))]