Bob is round shaped and green colored. Dave is interestingly colored red and blue, and is also very kind. Eric is a rather big guy with rough features. He's pretty red and green, most of the time. Fred was looking rather round and feeling rather cold, but people thought he is kind. If people are cold they are often red. People who are blue and green are nice. Show me someone who is cold and kind, and I'll show you how green they are. Young, kind people have a habit of being nice. People that are green tend to be young. Big, blue people are red.
Dave is not nice.
@0: Bob is green.[(triple2)] Bob is round.[(triple1)] Dave is blue.[(triple5)] Dave is kind.[(triple4)] Dave is red.[(triple3)] Eric is big.[(triple9)] Eric is green.[(triple8)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Fred is cold.[(triple12)] Fred is kind.[(triple11)] Fred is round.[(triple10)] @1: Bob is young.[(((triple2) -> rule5))] Eric is young.[(((triple8) -> rule5))] Fred is green.[(((triple12 triple11) -> rule3))] Fred is red.[(((triple12) -> rule1))] @2: Fred is young.[(((((triple12 triple11) -> rule3)) -> rule5))] @3: Fred is nice.[(((triple11 ((((triple12 triple11) -> rule3)) -> rule5)) -> rule4))]