Alan is somehow red and kind and also green. Green, big and red are qualities which all describe Charlie. Eric is a kind person and he is also often cold. Gary was proud of being round, yet rough. His red cheeks glowed. Red people are almost always rough. Nice round big people are kind to others. Someone with rough and green feet is invariably kind. It's a certainty that any green, big and kind individual is going to be nice. Green folks who are nice and rough are a round shape.
Alan is not rough.
@0: Alan is green.[(triple3)] Alan is kind.[(triple2 OR ((((triple1) -> rule1) triple3) -> rule3))] Alan is red.[(triple1)] Charlie is big.[(triple6)] Charlie is green.[(triple5)] Charlie is red.[(triple4)] Eric is cold.[(triple8)] Eric is kind.[(triple7)] Gary is red.[(triple11)] Gary is rough.[(triple10 OR ((triple11) -> rule1))] Gary is round.[(triple9)] @1: Alan is rough.[(((triple1) -> rule1))] Charlie is rough.[(((triple4) -> rule1))] @2: Charlie is kind.[(((((triple4) -> rule1) triple5) -> rule3))] @3: Charlie is nice.[(((triple5 triple6 ((((triple4) -> rule1) triple5) -> rule3)) -> rule4))] @4: Charlie is round.[(((((triple5 triple6 ((((triple4) -> rule1) triple5) -> rule3)) -> rule4) ((triple4) -> rule1) triple5) -> rule5))]