Bob is not only red but green and blue as well. Dave may be young but he is also round, and big and blue as well. Eric is very big for being so young. Fred wears a green and red coat, but is always cold. People who are young and a bit round in shape are green and inexperienced in life. You'll find that a green, round person tends to be rough with other people. Rough, young people that are big are often nice. A rough person will also be a cold person. A person that is nice and big is always round.
Dave is not cold.
@0: Bob is blue.[(triple3)] Bob is green.[(triple2)] Bob is red.[(triple1)] Dave is big.[(triple7)] Dave is blue.[(triple6)] Dave is round.[(triple5)] Dave is young.[(triple4)] Eric is big.[(triple9)] Eric is young.[(triple8)] Fred is cold.[(triple12)] Fred is green.[(triple11)] Fred is red.[(triple10)] @1: Dave is green.[(((triple4 triple5) -> rule1))] @2: Dave is rough.[(((triple5 ((triple4 triple5) -> rule1)) -> rule2))] @3: Dave is cold.[(((((triple5 ((triple4 triple5) -> rule1)) -> rule2)) -> rule4))] Dave is nice.[(((((triple5 ((triple4 triple5) -> rule1)) -> rule2) triple4 triple7) -> rule3))]