Dave seems to be round. No one knows Fred like me and he is a kind guy, very round in the belly and green as grass. Gary is a kind person and he is also often cold. Harry is round but he is also nice and kind. A person with big, round, kind face appears to be rough around the edges because they are naive. All young and kind people that feel blue are described as red. Round young people, red with loveliness, are very cold towards others. A person that is round and somewhat green while being nice tends to be red as well. People who are young are also blue. I bet anyone who is round and kind is also pretty young.
Dave is not nice.
@0: Dave is round.[(triple1)] Fred is green.[(triple4)] Fred is kind.[(triple3)] Fred is round.[(triple2)] Gary is cold.[(triple6)] Gary is kind.[(triple5)] Harry is kind.[(triple9)] Harry is nice.[(triple8)] Harry is round.[(triple7)] @1: Fred is young.[(((triple2 triple3) -> rule6))] Harry is young.[(((triple7 triple9) -> rule6))] @2: Fred is blue.[(((((triple2 triple3) -> rule6)) -> rule5))] Harry is blue.[(((((triple7 triple9) -> rule6)) -> rule5))] @3: Fred is red.[(((((((triple2 triple3) -> rule6)) -> rule5) ((triple2 triple3) -> rule6) triple3) -> rule2))] Harry is red.[(((((((triple7 triple9) -> rule6)) -> rule5) ((triple7 triple9) -> rule6) triple9) -> rule2))] @4: Fred is cold.[(((((triple2 triple3) -> rule6) ((((((triple2 triple3) -> rule6)) -> rule5) ((triple2 triple3) -> rule6) triple3) -> rule2) triple2) -> rule3))] Harry is cold.[(((((triple7 triple9) -> rule6) ((((((triple7 triple9) -> rule6)) -> rule5) ((triple7 triple9) -> rule6) triple9) -> rule2) triple7) -> rule3))]