Bob looks big and is kind with red hair and green shoes. Dave wears all blue. Gary is a young and nice man, and he is also very big shaped. Harry has green teeth and rough skin. People also notice his blue eyes. A kind and big person is young. If a person is blue, rough, and green, then they are also big. A downhearted blue person who is kind is round. Young, kind people have a habit of being nice. Nice people who are looking green and seeing red usually feel rather rough. Nice green people who feel blue are often red in color.
Bob is not nice.
@0: Bob is big.[(triple4)] Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is red.[(triple1)] Dave is blue.[(triple5)] Gary is big.[(triple8)] Gary is nice.[(triple7)] Gary is young.[(triple6)] Harry is blue.[(triple11)] Harry is green.[(triple10)] Harry is rough.[(triple9)] @1: Bob is young.[(((triple4 triple2) -> rule1))] Harry is big.[(((triple11 triple9 triple10) -> rule2))] @2: Bob is nice.[(((triple2 ((triple4 triple2) -> rule1)) -> rule4))] @3: Bob is rough.[(((((triple2 ((triple4 triple2) -> rule1)) -> rule4) triple3 triple1) -> rule5))]