Bob is a blue but young, round man but is also cold and big. In the snow sits Dave, crying from being cold. Fred's skin turned blue and green in a lab accident.  Despite his outward appearance, he is really nice. Gary is so big, he is often blue, but always kind. Whoever is rough and red must be kind. A blue person who is feeling a bit rough and cold will be wearing red. People who are round, blue and cold are usually nice. If a big person is cold and nice, then they are green. Kind people who are nice find that they must also be rough. A person who is young and cold and green is kind.
Fred is not kind.
@0: Bob is big.[(triple5)] Bob is blue.[(triple4)] Bob is cold.[(triple3)] Bob is round.[(triple2)] Bob is young.[(triple1)] Dave is cold.[(triple6)] Fred is blue.[(triple9)] Fred is green.[(triple8)] Fred is nice.[(triple7)] Gary is big.[(triple12)] Gary is blue.[(triple11)] Gary is kind.[(triple10)] @1: Bob is nice.[(((triple2 triple4 triple3) -> rule3))] @2: Bob is green.[(((triple3 triple5 ((triple2 triple4 triple3) -> rule3)) -> rule4))] @3: Bob is kind.[(((((triple3 triple5 ((triple2 triple4 triple3) -> rule3)) -> rule4) triple1 triple3) -> rule6))] @4: Bob is rough.[(((((((triple3 triple5 ((triple2 triple4 triple3) -> rule3)) -> rule4) triple1 triple3) -> rule6) ((triple2 triple4 triple3) -> rule3)) -> rule5))] @5: Bob is red.[(((triple4 triple3 ((((((triple3 triple5 ((triple2 triple4 triple3) -> rule3)) -> rule4) triple1 triple3) -> rule6) ((triple2 triple4 triple3) -> rule3)) -> rule5)) -> rule2))]