That guy Alan sure is nice. The young person who is always feeling cold is named Charlie. Dave is nice and kind,though he's also rather cold. Look, we know Gary is young and rough. We have to accept he's also red, nice, cold, and blue. Some cold people can be nice at times,and red at at other times. A blue, cold natured person will be rough textured. People of young age are rough and cold but some are nice. A young person with red hands is rough around the edges. People who are young are also blue.
Charlie is not rough.
@0: Alan is nice.[(triple1)] Charlie is cold.[(triple3)] Charlie is young.[(triple2)] Dave is cold.[(triple6)] Dave is kind.[(triple5)] Dave is nice.[(triple4)] Gary is blue.[(triple12 OR ((triple7) -> rule5))] Gary is cold.[(triple11)] Gary is nice.[(triple10 OR ((triple7 triple8 triple11) -> rule3) OR ((triple7 ((triple12 triple11) -> rule2) triple11) -> rule3) OR ((triple7 ((triple9 triple7) -> rule4) triple11) -> rule3) OR ((triple7 ((((triple7) -> rule5) triple11) -> rule2) triple11) -> rule3))] Gary is red.[(triple9 OR ((triple11 triple10) -> rule1) OR ((triple11 ((triple7 triple8 triple11) -> rule3)) -> rule1) OR ((triple11 ((triple7 ((triple12 triple11) -> rule2) triple11) -> rule3)) -> rule1) OR ((triple11 ((triple7 ((((triple7) -> rule5) triple11) -> rule2) triple11) -> rule3)) -> rule1))] Gary is rough.[(triple8 OR ((triple12 triple11) -> rule2) OR ((triple9 triple7) -> rule4) OR ((((triple7) -> rule5) triple11) -> rule2) OR ((((triple11 triple10) -> rule1) triple7) -> rule4))] Gary is young.[(triple7)] @1: Charlie is blue.[(((triple2) -> rule5))] Dave is red.[(((triple6 triple4) -> rule1))] @2: Charlie is rough.[(((((triple2) -> rule5) triple3) -> rule2))] @3: Charlie is nice.[(((triple2 ((((triple2) -> rule5) triple3) -> rule2) triple3) -> rule3))] @4: Charlie is red.[(((triple3 ((triple2 ((((triple2) -> rule5) triple3) -> rule2) triple3) -> rule3)) -> rule1))]