Big Bob is nice and red with sunburn and green hair. Dave is a person both green and big. Fred was born only a few years ago so he is young. Harry always goes out of his way to show that he is kind to people. I've been told that big, nice people are very rough. You will probably see that big, round, blue people are green, too. If someone is green skinned and has a big nose then you'll find that they often are nice to their family. Anybody with big, rough and nice qualities is bound to also be young. A green person that is cold is often considered to be red. Nice people who are big are always cold because they can't find space near the heater. I have noticed that nice people that are green and blue are often round-shaped.
Dave is not green.
@0: Bob is big.[(triple4)] Bob is green.[(triple3)] Bob is nice.[(triple2 OR ((triple3 triple4) -> rule3))] Bob is red.[(triple1 OR ((triple3 ((triple4 triple2) -> rule6)) -> rule5) OR ((triple3 ((triple4 ((triple3 triple4) -> rule3)) -> rule6)) -> rule5))] Dave is big.[(triple6)] Dave is green.[(triple5)] Fred is young.[(triple7)] Harry is kind.[(triple8)] @1: Bob is cold.[(((triple4 triple2) -> rule6) OR ((triple4 ((triple3 triple4) -> rule3)) -> rule6))] Bob is rough.[(((triple4 triple2) -> rule1) OR ((triple4 ((triple3 triple4) -> rule3)) -> rule1))] Dave is nice.[(((triple5 triple6) -> rule3))] @2: Bob is young.[(((triple4 ((triple4 triple2) -> rule1) triple2) -> rule4) OR ((triple4 ((triple4 triple2) -> rule1) ((triple3 triple4) -> rule3)) -> rule4) OR ((triple4 ((triple4 ((triple3 triple4) -> rule3)) -> rule1) triple2) -> rule4) OR ((triple4 ((triple4 ((triple3 triple4) -> rule3)) -> rule1) ((triple3 triple4) -> rule3)) -> rule4))] Dave is cold.[(((triple6 ((triple5 triple6) -> rule3)) -> rule6))] Dave is rough.[(((triple6 ((triple5 triple6) -> rule3)) -> rule1))] @3: Dave is red.[(((triple5 ((triple6 ((triple5 triple6) -> rule3)) -> rule6)) -> rule5))] Dave is young.[(((triple6 ((triple6 ((triple5 triple6) -> rule3)) -> rule1) ((triple5 triple6) -> rule3)) -> rule4))]