No one knows Bob like me and he is a kind guy, very round in the belly and green as grass. That guy Charlie sure is nice. Dave is shaped big and round like a balloon. His red color shows how kind he is. Young Gary here is always rough but nice and yes he is big. Young, red people are usually quite blue too. A nice but rough person will also be green and cold. Most young kind people tend to be red too. Why is it that every round person that is blue is so young. Young and red people look round. I bet anyone who is round and kind is also pretty young.
Gary is not green.
@0: Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is round.[(triple1)] Charlie is nice.[(triple4)] Dave is big.[(triple8)] Dave is kind.[(triple7)] Dave is red.[(triple6 OR ((((triple5 triple7) -> rule6) triple7) -> rule3))] Dave is round.[(triple5)] Gary is big.[(triple12)] Gary is nice.[(triple11)] Gary is rough.[(triple10)] Gary is young.[(triple9)] @1: Bob is young.[(((triple1 triple2) -> rule6))] Dave is young.[(((triple5 triple7) -> rule6))] @2: Bob is red.[(((((triple1 triple2) -> rule6) triple2) -> rule3))] Dave is blue.[(((triple6 ((triple5 triple7) -> rule6)) -> rule1) OR ((((((triple5 triple7) -> rule6) triple7) -> rule3) ((triple5 triple7) -> rule6)) -> rule1))] @3: Bob is blue.[(((((((triple1 triple2) -> rule6) triple2) -> rule3) ((triple1 triple2) -> rule6)) -> rule1))]