Rough and cold that is what they say about Blue Bob. That guy Charlie sure is nice. Dave is kind and nice and looks green. Fred seems to be round. If you meet someone with rough skin who is cold from being outside, you'll notice they are nice. Every time you meet someone kind and nice, they'll be green, too. If someone plays rough and is nice and round, they will be big. Nice, young red people will also turn out to always be green. Most young kind people tend to be red too. A person that is round and somewhat green while being nice tends to be red as well. A nice person is inevitably round as well.
Dave is nice.
@0: Bob is blue.[(triple3)] Bob is cold.[(triple2)] Bob is rough.[(triple1)] Charlie is nice.[(triple4)] Dave is green.[(triple7 OR ((triple6 triple5) -> rule2))] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Fred is round.[(triple8)] @1: Bob is nice.[(((triple2 triple1) -> rule1))] Charlie is round.[(((triple4) -> rule7))] Dave is round.[(((triple5) -> rule7))] @2: Bob is round.[(((((triple2 triple1) -> rule1)) -> rule7))] Dave is red.[(((((triple5) -> rule7) triple7 triple5) -> rule6) OR ((((triple5) -> rule7) ((triple6 triple5) -> rule2) triple5) -> rule6))] @3: Bob is big.[(((triple1 ((triple2 triple1) -> rule1) ((((triple2 triple1) -> rule1)) -> rule7)) -> rule3))]