Bob was looking rather round and feeling rather cold, but people thought he is kind. People think that Eric is round. This might be because he is young and blue. Gary always goes out of his way to show that he is kind to people. Blue Christmas ornaments are also red. People who are nice and big and red are green. It is true that kind people who have become cold and blue and survived are necessarily big. Young people that are cold and round are necessarily big. A round shaped and red person is definitely nice. Red and round people will be cold even in the summer.
Eric is not red.
@0: Bob is cold.[(triple3)] Bob is kind.[(triple2)] Bob is round.[(triple1)] Eric is blue.[(triple6)] Eric is round.[(triple5)] Eric is young.[(triple4)] Gary is kind.[(triple7)] @1: Eric is red.[(((triple6) -> rule1))] @2: Eric is cold.[(((((triple6) -> rule1) triple5) -> rule6))] Eric is nice.[(((triple5 ((triple6) -> rule1)) -> rule5))] @3: Eric is big.[(((((((triple6) -> rule1) triple5) -> rule6) triple5 triple4) -> rule4))] @4: Eric is green.[(((((triple5 ((triple6) -> rule1)) -> rule5) ((((((triple6) -> rule1) triple5) -> rule6) triple5 triple4) -> rule4) ((triple6) -> rule1)) -> rule2))]