Big rough Alan is round and rather green. Bob might be rough and red but he's actually very kind. Gary may be round, but he is also kind. Green, big and red are qualities which all describe Harry. A rather big person is a red person. If someone has a kind disposition and looks rather round and rough then you'll find that they're actually quite young. Anyone having rough, cold and green qualities will also have a big quality. Count on anyone you meet who is big, round, and red also being kind. Young and red people look round.
Alan is not red.
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Bob is kind.[(triple7)] Bob is red.[(triple6)] Bob is rough.[(triple5)] Gary is kind.[(triple9)] Gary is round.[(triple8)] Harry is big.[(triple12)] Harry is green.[(triple11)] Harry is red.[(triple10 OR ((triple12) -> rule1))] @1: Alan is red.[(((triple4) -> rule1))] @2: Alan is kind.[(((triple4 triple1 ((triple4) -> rule1)) -> rule4))] @3: Alan is young.[(((((triple4 triple1 ((triple4) -> rule1)) -> rule4) triple1 triple2) -> rule2))]