Rough and cold that is what they say about Blue Bob. Eric, who is relatively young, is also pretty big and tends to be cold. Fred is green and cold too. For being so cold, it's good Harry can remain nice. Rough, cold people are blue. Big, kind folks are green ones. Even though a person is big and rough when they are cold they turn red. Most round and cold people are often rough. Cold, young people are also certain to be rough people. An individual who is big, red and young is also going to be a nice individual.
Eric is not rough.
@0: Bob is blue.[(triple3 OR ((triple1 triple2) -> rule1))] Bob is cold.[(triple2)] Bob is rough.[(triple1)] Eric is big.[(triple6)] Eric is cold.[(triple5)] Eric is young.[(triple4)] Fred is cold.[(triple8)] Fred is green.[(triple7)] Harry is cold.[(triple10)] Harry is nice.[(triple9)] @1: Eric is rough.[(((triple5 triple4) -> rule5))] @2: Eric is blue.[(((((triple5 triple4) -> rule5) triple5) -> rule1))] Eric is red.[(((((triple5 triple4) -> rule5) triple6 triple5) -> rule3))] @3: Eric is nice.[(((((((triple5 triple4) -> rule5) triple6 triple5) -> rule3) triple4 triple6) -> rule6))]