Alan is big, but he is also nice and kind. Bod is round so he's green with envy of anyone who is not. But Bob is also young and nice so it's easy for him to be kind to others anyway. Dave has been blue because he's green with envy. Blue people are known the world over as nice people. When people are still young, the blue and round ones will also be a bit red. Being round and green and nice makes someone blue. Anyone known to be red, young and blue will also be found to be cold. A nice person who is also round will always be big. Anyone who is cold and wears green to keep warm is surely kind as well.
Gary is not red.
@0: Alan is big.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is green.[(triple8)] Bob is kind.[(triple7 OR ((triple8 ((((((triple5 triple6 triple8) -> rule3) triple5 triple4) -> rule2) triple4 ((triple5 triple6 triple8) -> rule3)) -> rule4)) -> rule6))] Bob is nice.[(triple6)] Bob is round.[(triple5)] Bob is young.[(triple4)] Dave is blue.[(triple10)] Dave is green.[(triple9)] @1: Bob is big.[(((triple6 triple5) -> rule5))] Bob is blue.[(((triple5 triple6 triple8) -> rule3))] Dave is nice.[(((triple10) -> rule1))] @2: Bob is red.[(((((triple5 triple6 triple8) -> rule3) triple5 triple4) -> rule2))] @3: Bob is cold.[(((((((triple5 triple6 triple8) -> rule3) triple5 triple4) -> rule2) triple4 ((triple5 triple6 triple8) -> rule3)) -> rule4))]