For being so cold, it's good Alan can remain nice. Eric is young and green. This makes him cold to others. Fred is a kind person and he is also often cold. That guy Harry sure is nice. All those who are nice and big are red. If you come across a young, blue person you can count on them being nice to you. People who are said to be big and nice are round. People who are young are also blue. A kind person will certainly be young.
Alan is not nice.
@0: Alan is cold.[(triple2)] Alan is nice.[(triple1)] Eric is cold.[(triple5)] Eric is green.[(triple4)] Eric is young.[(triple3)] Fred is cold.[(triple7)] Fred is kind.[(triple6)] Harry is nice.[(triple8)] @1: Eric is blue.[(((triple3) -> rule4))] Fred is young.[(((triple6) -> rule5))] @2: Eric is nice.[(((((triple3) -> rule4) triple3) -> rule2))] Fred is blue.[(((((triple6) -> rule5)) -> rule4))] @3: Fred is nice.[(((((((triple6) -> rule5)) -> rule4) ((triple6) -> rule5)) -> rule2))]