Alan ate some rotten meat and now feels green. Bob fits the description of someone who is rough, red and blue. Charlie is known to be rough and green. Dave is young, but very kind to others. Dave is big, with round features. A person who's big and kind will also be cold. A big, kind someone could also be cold in a green dress. A young aged blue person will certainly be nice. Young people tend to be blue all the time and rough. A quite nice person will certainly be red. A person described as cold and kind can also be described as nice. All the kind people in blue were young.
Dave is cold.
@0: Alan is green.[(triple1)] Bob is blue.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Charlie is green.[(triple6)] Charlie is rough.[(triple5)] Dave is big.[(triple10)] Dave is kind.[(triple9)] Dave is round.[(triple8)] Dave is young.[(triple7)] @1: Dave is cold.[(((triple10 triple9) -> rule1))] @2: Dave is green.[(((triple10 triple9 ((triple10 triple9) -> rule1)) -> rule2))] Dave is nice.[(((((triple10 triple9) -> rule1) triple9) -> rule6))] @3: Dave is red.[(((((((triple10 triple9) -> rule1) triple9) -> rule6)) -> rule5))]