That guy Bob sure is nice. No one knows Dave like me and he is a kind guy, very round in the belly and green as grass. Fred seems to be round. That person with the super big round body wearing red and green clothes who is acting quite nice towards you while being cold and feeling blue is named Harry. A rather big person is a red person. An individual with the traits of being nice, red, and cold is also round. Every person I met that was cold and round was also red. Young people who are both nice and cold also tend to be rough. I bet anyone who is round and kind is also pretty young. If a person acts cold yet nice and green, they will be kind.
Bob is kind.
@0: Bob is nice.[(triple1)] Dave is green.[(triple4)] Dave is kind.[(triple3)] Dave is round.[(triple2)] Fred is round.[(triple5)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is green.[(triple9)] Harry is nice.[(triple8)] Harry is red.[(triple7 OR ((triple12) -> rule1) OR ((triple10 triple6) -> rule3))] Harry is round.[(triple6 OR ((triple8 triple7 triple10) -> rule2) OR ((triple8 ((triple12) -> rule1) triple10) -> rule2))] @1: Dave is young.[(((triple2 triple3) -> rule5))] Harry is kind.[(((triple8 triple9 triple10) -> rule6))] @2: Harry is young.[(((triple6 ((triple8 triple9 triple10) -> rule6)) -> rule5) OR ((((triple8 triple7 triple10) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5) OR ((((triple8 ((triple12) -> rule1) triple10) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5))] @3: Harry is rough.[(((triple8 triple10 ((triple6 ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule4) OR ((triple8 triple10 ((((triple8 triple7 triple10) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule4) OR ((triple8 triple10 ((((triple8 ((triple12) -> rule1) triple10) -> rule2) ((triple8 triple9 triple10) -> rule6)) -> rule5)) -> rule4))]