Bob is green and cold too. Young Eric has a round form, believes in green and is rough. Gary is green and cold too. Harry is a big fellow, often blue and sad, but he is nice. Anybody young person covered in blue and green will be kind. All young and kind people that feel blue are described as red. People turn green when they are feeling blue. A big and round individual is sure to be a kind individual, too.
Gary is not red.
@0: Bob is cold.[(triple2)] Bob is green.[(triple1)] Eric is green.[(triple6)] Eric is rough.[(triple5)] Eric is round.[(triple4)] Eric is young.[(triple3)] Gary is cold.[(triple8)] Gary is green.[(triple7)] Harry is big.[(triple11)] Harry is blue.[(triple10)] Harry is nice.[(triple9)] @1: Bob is blue.[(((triple1) -> rule3))] Eric is blue.[(((triple6) -> rule3))] Gary is blue.[(((triple7) -> rule3))] @2: Eric is kind.[(((triple3 ((triple6) -> rule3) triple6) -> rule1))] @3: Eric is red.[(((((triple6) -> rule3) triple3 ((triple3 ((triple6) -> rule3) triple6) -> rule1)) -> rule2))]