That guy Alan sure is nice. Bob is kind and nice and looks green. Harry is a young man who is rather round and kind.  Harry is feeling blue because he has a sunburn that is making him rather red and he is also rather ill which makes him appear green. A very nice person who is also green is certainly kind. If someone plays rough and is nice and round, they will be big. When someone is kind yet can be cold and blue, they will also be very big. A person who is kind and rough and blue is young. People turn green when they are feeling blue. When someone is colored blue and is both kind and nice to others then they are cold. A nice and green man or woman is also red in color.
Harry is not nice.
@0: Alan is nice.[(triple1)] Bob is green.[(triple4)] Bob is kind.[(triple3 OR ((triple4 triple2) -> rule1))] Bob is nice.[(triple2)] Harry is blue.[(triple10 OR ((triple9) -> rule5))] Harry is green.[(triple9)] Harry is kind.[(triple8)] Harry is red.[(triple7)] Harry is round.[(triple6)] Harry is young.[(triple5)] @1: Bob is blue.[(((triple4) -> rule5))] Bob is red.[(((triple2 triple4) -> rule7))] @2: Bob is cold.[(((((triple4) -> rule5) triple3 triple2) -> rule6) OR ((((triple4) -> rule5) ((triple4 triple2) -> rule1) triple2) -> rule6))] @3: Bob is big.[(((triple3 ((((triple4) -> rule5) triple3 triple2) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((triple3 ((((triple4) -> rule5) ((triple4 triple2) -> rule1) triple2) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((triple4 triple2) -> rule1) ((((triple4) -> rule5) triple3 triple2) -> rule6) ((triple4) -> rule5)) -> rule3) OR ((((triple4 triple2) -> rule1) ((((triple4) -> rule5) ((triple4 triple2) -> rule1) triple2) -> rule6) ((triple4) -> rule5)) -> rule3))]