Eric is a rough guy but he is also red, nice, green and big. Red Fred is what folks call him, because he is quite red. Gary can be described as nice, red, round, and rough. Also, he's big. Harry was born only a few years ago so he is young. Red and green people that are nice are cold to strangers. Santa Claus is red and kind. He is also very nice, especially to children. A kind, cold, round person will be nice in addition. Young people that are blue will still be kind because they are rough to the touch. Blue people who are kind and nice are actually quite rough. It's impossible for someone to be red, big, and cold without them also being kind. Someone who is big and kind is blue.
Eric is not kind.
@0: Eric is big.[(triple5)] Eric is green.[(triple4)] Eric is nice.[(triple3)] Eric is red.[(triple2)] Eric is rough.[(triple1 OR ((((((triple2 triple5 ((triple2 triple3 triple4) -> rule1)) -> rule6) triple5) -> rule7) ((triple2 triple5 ((triple2 triple3 triple4) -> rule1)) -> rule6) triple3) -> rule5))] Fred is red.[(triple6)] Gary is big.[(triple11)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is rough.[(triple8)] Gary is round.[(triple7)] Harry is young.[(triple12)] @1: Eric is cold.[(((triple2 triple3 triple4) -> rule1))] @2: Eric is kind.[(((triple2 triple5 ((triple2 triple3 triple4) -> rule1)) -> rule6))] @3: Eric is blue.[(((((triple2 triple5 ((triple2 triple3 triple4) -> rule1)) -> rule6) triple5) -> rule7))]