Alan, a green man, was also big, but underneath he was kind. Bob has green teeth and rough skin. People also notice his blue eyes. Dave, like all young people, is nice. Even though Gary is green with envy he is nice with rosy red cheeks. A big person who also feels blue and a bit green are usually wearing red. I've noticed that kind people are also big. When someone is blue, lives green they can be rough but kind. It is impossible for a nice person who is blue and red not to be rough. A big person that is tattooed blue will be very nice.
Bob is not big.
@0: Alan is big.[(triple3 OR ((triple1) -> rule2))] Alan is green.[(triple2)] Alan is kind.[(triple1)] Bob is blue.[(triple6)] Bob is green.[(triple5)] Bob is rough.[(triple4)] Dave is nice.[(triple8)] Dave is young.[(triple7)] Gary is green.[(triple11)] Gary is nice.[(triple10)] Gary is red.[(triple9)] @1: Bob is kind.[(((triple6 triple4 triple5) -> rule3))] @2: Bob is big.[(((((triple6 triple4 triple5) -> rule3)) -> rule2))] @3: Bob is nice.[(((((((triple6 triple4 triple5) -> rule3)) -> rule2) triple6) -> rule5))] Bob is red.[(((((((triple6 triple4 triple5) -> rule3)) -> rule2) triple6 triple5) -> rule1))]