Bob is a cold and round man who has red and green skin. No one knows Charlie like me and he is a kind guy, very round in the belly and green as grass. Fred seems to be round. Green, big and red are qualities which all describe Harry. A red hued and rough looking person is definitely a young person. A very big person who is green but also red is a rough person. A rather big person is a red person. A round person who is on the young side is also likely to treat people in a kind manner. Any person who can be red and blue at the same time is cold. People who are young are also blue.
Harry is not cold.
@0: Bob is cold.[(triple4)] Bob is green.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Charlie is green.[(triple7)] Charlie is kind.[(triple6)] Charlie is round.[(triple5)] Fred is round.[(triple8)] Harry is big.[(triple11)] Harry is green.[(triple10)] Harry is red.[(triple9 OR ((triple11) -> rule3))] @1: Harry is rough.[(((triple10 triple11 triple9) -> rule2) OR ((triple10 triple11 ((triple11) -> rule3)) -> rule2))] @2: Harry is young.[(((triple9 ((triple10 triple11 triple9) -> rule2)) -> rule1) OR ((((triple11) -> rule3) ((triple10 triple11 triple9) -> rule2)) -> rule1) OR ((triple9 ((triple10 triple11 ((triple11) -> rule3)) -> rule2)) -> rule1) OR ((((triple11) -> rule3) ((triple10 triple11 ((triple11) -> rule3)) -> rule2)) -> rule1))] @3: Harry is blue.[(((((triple9 ((triple10 triple11 triple9) -> rule2)) -> rule1)) -> rule6) OR ((((((triple11) -> rule3) ((triple10 triple11 triple9) -> rule2)) -> rule1)) -> rule6) OR ((((triple9 ((triple10 triple11 ((triple11) -> rule3)) -> rule2)) -> rule1)) -> rule6) OR ((((((triple11) -> rule3) ((triple10 triple11 ((triple11) -> rule3)) -> rule2)) -> rule1)) -> rule6))] @4: Harry is cold.[(((triple9 ((((triple9 ((triple10 triple11 triple9) -> rule2)) -> rule1)) -> rule6)) -> rule5) OR ((triple9 ((((((triple11) -> rule3) ((triple10 triple11 triple9) -> rule2)) -> rule1)) -> rule6)) -> rule5) OR ((((triple11) -> rule3) ((((triple9 ((triple10 triple11 triple9) -> rule2)) -> rule1)) -> rule6)) -> rule5) OR ((((triple11) -> rule3) ((((((triple11) -> rule3) ((triple10 triple11 triple9) -> rule2)) -> rule1)) -> rule6)) -> rule5) OR ((triple9 ((((triple9 ((triple10 triple11 ((triple11) -> rule3)) -> rule2)) -> rule1)) -> rule6)) -> rule5) OR ((triple9 ((((((triple11) -> rule3) ((triple10 triple11 ((triple11) -> rule3)) -> rule2)) -> rule1)) -> rule6)) -> rule5) OR ((((triple11) -> rule3) ((((triple9 ((triple10 triple11 ((triple11) -> rule3)) -> rule2)) -> rule1)) -> rule6)) -> rule5) OR ((((triple11) -> rule3) ((((((triple11) -> rule3) ((triple10 triple11 ((triple11) -> rule3)) -> rule2)) -> rule1)) -> rule6)) -> rule5))]