Bob is so big and round, it's hard to tell he is red, green and blue all at once. Red Dave is what folks call him, because he is quite red. Others enjoy Fred's company because he is so nice and kind. Gary is young and nice, but when he's feeling blue, he can also be quite cold to people. People that are big and cold are blue as well. You can tell if someone is big, kind, and young, then they are also nice. If a big, red person with a round figure comes up to you, don't worry, they will be very nice. A person with big hair and rough lips is certainly young and jaded. You will discover that green rough people are always red. Nice people who are looking green and seeing red usually feel rather rough. When a round individual is nice to others, they are also feeling blue.
Bob is not rough.
@0: Bob is big.[(triple5)] Bob is blue.[(triple4 OR ((triple1 ((triple5 triple1 triple2) -> rule3)) -> rule7))] Bob is green.[(triple3)] Bob is red.[(triple2)] Bob is round.[(triple1)] Dave is red.[(triple6)] Fred is kind.[(triple8)] Fred is nice.[(triple7)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is nice.[(triple10)] Gary is young.[(triple9)] @1: Bob is nice.[(((triple5 triple1 triple2) -> rule3))] @2: Bob is rough.[(((((triple5 triple1 triple2) -> rule3) triple3 triple2) -> rule6))] @3: Bob is young.[(((((((triple5 triple1 triple2) -> rule3) triple3 triple2) -> rule6) triple5) -> rule4))]