Bob is young and green. This makes him cold to others. For being so cold, it's good Dave can remain nice. Young Eric here is always rough but nice and yes he is big. Fred might be rough and red but he's actually very kind. Young round people who are green are usually blue. A rather big person is a red person. Nice people who are blue and round at the same time are always young. Someone who has young, nice and cold qualities will possess a red quality, too. Anyone feeling cold is bound to act nice. People who are young are also blue. A person who is cold and red and blue is big.
Fred is not rough.
@0: Bob is cold.[(triple3)] Bob is green.[(triple2)] Bob is young.[(triple1)] Dave is cold.[(triple5)] Dave is nice.[(triple4 OR ((triple5) -> rule5))] Eric is big.[(triple9)] Eric is nice.[(triple8)] Eric is rough.[(triple7)] Eric is young.[(triple6)] Fred is kind.[(triple12)] Fred is red.[(triple11)] Fred is rough.[(triple10)] @1: Bob is blue.[(((triple1) -> rule6))] Bob is nice.[(((triple3) -> rule5))] Eric is blue.[(((triple6) -> rule6))] Eric is red.[(((triple9) -> rule2))] @2: Bob is red.[(((triple3 triple1 ((triple3) -> rule5)) -> rule4))] @3: Bob is big.[(((((triple3 triple1 ((triple3) -> rule5)) -> rule4) ((triple1) -> rule6) triple3) -> rule7))]