Blue and green Bob is so kind he snowplows the neighbors driveways and everyone thanks him with beer. When you talk about Charlie, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. Eric who is considered nice was feeling rather rough today. Being young, Gary is still green and blue. A blue person who is feeling a bit rough and cold will be wearing red. Green people will be nice even when they have been rough. People who are rough and nice and blue can be round. People feeling green and blue are somewhat nice. There are so many rough, young people and for some reason they are all big too. People who are nice and rough are looked at as kind.
Bob is cold.
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is kind.[(triple1 OR ((((triple2 triple3) -> rule4) ((triple2 ((triple2 triple3) -> rule4)) -> rule2)) -> rule6))] Charlie is cold.[(triple6)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Eric is nice.[(triple8)] Eric is rough.[(triple7)] Gary is blue.[(triple11)] Gary is green.[(triple10)] Gary is young.[(triple9)] @1: Bob is nice.[(((triple2 triple3) -> rule4))] Charlie is kind.[(((triple5 triple4) -> rule6))] Eric is kind.[(((triple8 triple7) -> rule6))] Gary is nice.[(((triple10 triple11) -> rule4))] @2: Bob is rough.[(((triple2 ((triple2 triple3) -> rule4)) -> rule2))] Gary is rough.[(((triple10 ((triple10 triple11) -> rule4)) -> rule2))] @3: Bob is round.[(((((triple2 ((triple2 triple3) -> rule4)) -> rule2) ((triple2 triple3) -> rule4) triple3) -> rule3))] Gary is big.[(((triple9 ((triple10 ((triple10 triple11) -> rule4)) -> rule2)) -> rule5))] Gary is kind.[(((((triple10 triple11) -> rule4) ((triple10 ((triple10 triple11) -> rule4)) -> rule2)) -> rule6))] Gary is round.[(((((triple10 ((triple10 triple11) -> rule4)) -> rule2) ((triple10 triple11) -> rule4) triple11) -> rule3))]