Bob is big and dresses in blue. Big, round Charlie is also known to be nice, kind and young. Fred is a very rough person. As expected, he's also a very cold and big individual. In the snow sits Harry, crying from being cold. Nice blue people are often rough. Soon you will understand that big people are nice. Pick someone blue, kind and big, and they are certain to be green as well. If a kind person is also young and round shaped, they will be colored blue. People that feel green are cold to people that try to help them.
Fred is nice.
@0: Bob is big.[(triple2)] Bob is blue.[(triple1)] Charlie is big.[(triple7)] Charlie is kind.[(triple6)] Charlie is nice.[(triple5 OR ((triple7) -> rule2))] Charlie is round.[(triple4)] Charlie is young.[(triple3)] Fred is big.[(triple10)] Fred is cold.[(triple9)] Fred is rough.[(triple8)] Harry is cold.[(triple11)] @1: Bob is nice.[(((triple2) -> rule2))] Charlie is blue.[(((triple6 triple3 triple4) -> rule4))] Fred is nice.[(((triple10) -> rule2))] @2: Bob is rough.[(((((triple2) -> rule2) triple1) -> rule1))] Charlie is green.[(((((triple6 triple3 triple4) -> rule4) triple6 triple7) -> rule3))] Charlie is rough.[(((triple5 ((triple6 triple3 triple4) -> rule4)) -> rule1) OR ((((triple7) -> rule2) ((triple6 triple3 triple4) -> rule4)) -> rule1))] @3: Charlie is cold.[(((((((triple6 triple3 triple4) -> rule4) triple6 triple7) -> rule3)) -> rule5))]