Alan is nice and kind,though he's also rather cold. That guy Bob sure is nice. Dave is big, round and rough, but he is nice and kind. That guy Eric sure is nice. Some cold people can be nice at times,and red at at other times. Folks who are rough and tumble yet gentle and kind are blue. If someone plays rough and is nice and round, they will be big. One who is young, red and also cold will definitely be round, too. A red, nice person will definitely be a blue person. A kind person who looks blue because he is is cold is usually big in stature.
Alan is big.
@0: Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is nice.[(triple1)] Bob is nice.[(triple4)] Dave is big.[(triple9 OR ((triple6 triple7 triple5) -> rule3))] Dave is kind.[(triple8)] Dave is nice.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Eric is nice.[(triple10)] @1: Alan is red.[(((triple3 triple1) -> rule1))] Dave is blue.[(((triple6 triple8) -> rule2))] @2: Alan is blue.[(((((triple3 triple1) -> rule1) triple1) -> rule5))] @3: Alan is big.[(((triple3 ((((triple3 triple1) -> rule1) triple1) -> rule5) triple2) -> rule6))]