Eric is a kind and red colored guy. Fred is rather young, but he is also kind, green, cold and big. Young, round, and cold people have a habit of looking pretty red. A kind and cold person who is green is, surprisingly, also blue. A person that is feeling blue and slightly big, is red as well. A person who is kind but also rough and is also colored blue, will be shaped round. Someone that is red and blue because they are cold are also round.
Fred is not red.
@0: Eric is kind.[(triple2)] Eric is red.[(triple1)] Fred is big.[(triple7)] Fred is cold.[(triple6)] Fred is green.[(triple5)] Fred is kind.[(triple4)] Fred is young.[(triple3)] @1: Fred is blue.[(((triple4 triple6 triple5) -> rule2))] @2: Fred is red.[(((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule3))] @3: Fred is round.[(((((triple4 triple6 triple5) -> rule2) ((triple7 ((triple4 triple6 triple5) -> rule2)) -> rule3) triple6) -> rule5))]