Bob is a young and nice man, and he is also very big shaped. Dave is very nice to people, but he's also rather big. Fred has a round face and is very nice. Gary is nice, even when he is rough and red with anger. Because someone is green and kind they are extremely nice to people. Big, young people feel cold all the time. People that are big and cold are blue as well. Get out of the way if a red and green person walks up to you because they are rough. Blue, young and round people are usually big. A big and blue colored person is also certainly very kind. It is impossible for a nice person who is blue and red not to be rough.
Bob is not round.
@0: Bob is big.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple5)] Dave is nice.[(triple4)] Fred is nice.[(triple7)] Fred is round.[(triple6)] Gary is nice.[(triple10)] Gary is red.[(triple9)] Gary is rough.[(triple8)] @1: Bob is cold.[(((triple1 triple3) -> rule2))] @2: Bob is blue.[(((triple3 ((triple1 triple3) -> rule2)) -> rule3))] @3: Bob is kind.[(((((triple3 ((triple1 triple3) -> rule2)) -> rule3) triple3) -> rule6))]