Alan is a young, rough person who is rather round but is also kind to everyone he meets. That guy Eric sure is nice. Fred is somehow red and kind and also green. Young people who are cold and blue are actually kind. When rough and kind can describe a person, then cold will describe them, too. A kind person will certainly be rough as well. A green person that is rough and cold is often also nice. People that are rough and red in the face, are usually big in size.
Eric is young.
@0: Alan is kind.[(triple4)] Alan is rough.[(triple3 OR ((triple4) -> rule3))] Alan is round.[(triple2)] Alan is young.[(triple1)] Eric is nice.[(triple5)] Fred is green.[(triple8)] Fred is kind.[(triple7)] Fred is red.[(triple6)] @1: Alan is cold.[(((triple4 triple3) -> rule2) OR ((triple4 ((triple4) -> rule3)) -> rule2))] Fred is rough.[(((triple7) -> rule3))] @2: Fred is big.[(((triple6 ((triple7) -> rule3)) -> rule5))] Fred is cold.[(((triple7 ((triple7) -> rule3)) -> rule2))] @3: Fred is nice.[(((((triple7 ((triple7) -> rule3)) -> rule2) triple8 ((triple7) -> rule3)) -> rule4))]