Eric, a kind and nice man, is wearing a green sweatshirt. He is also a fairly round sized man in shape. Gary is known to be rough and green. Even though big Harry can be rough and cold, he is nice for someone as red as he is. A nice person with rough skin is red. Often, when you meet a rough person with red skin, you'll see that they are young too. Most young and nice people will be kind. A rough person that is cold towards others is green. Young and kind folks are always big. A person wearing blue clothes and feeling cold very frequently because of their large round body will have green skin. Green people who are kind with rosy red skin are round.
Harry is not rough.
@0: Eric is green.[(triple4)] Eric is kind.[(triple3)] Eric is nice.[(triple2)] Eric is round.[(triple1)] Gary is green.[(triple6)] Gary is rough.[(triple5)] Harry is big.[(triple11 OR ((((((triple7 triple8) -> rule2) triple9) -> rule3) ((triple7 triple8) -> rule2)) -> rule5) OR ((((((triple7 triple8) -> rule2) triple9) -> rule3) ((triple7 ((triple7 triple9) -> rule1)) -> rule2)) -> rule5) OR ((((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3) ((triple7 triple8) -> rule2)) -> rule5) OR ((((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3) ((triple7 ((triple7 triple9) -> rule1)) -> rule2)) -> rule5))] Harry is cold.[(triple10)] Harry is nice.[(triple9)] Harry is red.[(triple8 OR ((triple7 triple9) -> rule1))] Harry is rough.[(triple7)] @1: Harry is green.[(((triple7 triple10) -> rule4))] Harry is young.[(((triple7 triple8) -> rule2) OR ((triple7 ((triple7 triple9) -> rule1)) -> rule2))] @2: Harry is kind.[(((((triple7 triple8) -> rule2) triple9) -> rule3) OR ((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3))] @3: Harry is round.[(((triple8 ((((triple7 triple8) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7) OR ((((triple7 triple9) -> rule1) ((((triple7 triple8) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7) OR ((triple8 ((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7) OR ((((triple7 triple9) -> rule1) ((((triple7 ((triple7 triple9) -> rule1)) -> rule2) triple9) -> rule3) ((triple7 triple10) -> rule4)) -> rule7))]