Bob is rough, but often feels blue. He is pretty young. Dave ate some rotten meat and now feels green. Fred, like all young people, is nice. Gary is cold which makes him red! Gary is young and rough but also very kind. Nice blue people are often rough. It's a fact that young people are red people. You know when you meet a red, blue and kind person, that means they are green. Rough, round persons are also nice persons. Color anybody red and blue, then make them rough, and they will surely be round. It's always true that round, kind people are rough as well.
Fred is nice.
@0: Bob is blue.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Dave is green.[(triple4)] Fred is nice.[(triple6)] Fred is young.[(triple5)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9 OR ((triple7) -> rule2))] Gary is rough.[(triple8)] Gary is young.[(triple7)] @1: Bob is red.[(((triple1) -> rule2))] Fred is red.[(((triple5) -> rule2))] @2: Bob is round.[(((triple3 triple2 ((triple1) -> rule2)) -> rule5))] @3: Bob is nice.[(((triple2 ((triple3 triple2 ((triple1) -> rule2)) -> rule5)) -> rule4))]