Look, we know Bob is young and rough. We have to accept he's also red, nice, cold, and blue. Fred can be rough and cold, but he is also green, an avid gardener. Harry is a big fellow, often blue and sad, but he is nice. Kind red people are green on the inside. If someone plays rough and is nice and round, they will be big. Anyone having rough, cold and green qualities will also have a big quality. People who are feeling blue and green are said to be red. Young people are nice and cold are kind to people regardless. Someone who is currently blue, big, and cold, is also kind. When you run into someone who is rough and green at the same time, they will also be red.
Harry is not green.
@0: Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is nice.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Fred is cold.[(triple9)] Fred is green.[(triple8)] Fred is rough.[(triple7)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is nice.[(triple10)] @1: Bob is kind.[(((triple5 triple4 triple1) -> rule5))] Fred is big.[(((triple7 triple9 triple8) -> rule3))] Fred is red.[(((triple7 triple8) -> rule7))] @2: Bob is green.[(((((triple5 triple4 triple1) -> rule5) triple3) -> rule1))] @3: Bob is big.[(((triple2 triple5 ((((triple5 triple4 triple1) -> rule5) triple3) -> rule1)) -> rule3))]