Alan who is young and nice is also quite big and feels green. Dave is young, round, and kind, but that doesn't mean he isn't also rough and cold at times, as well. Eric may be round, but he is also kind. Fred seems to be round. If a person is described as being nice, cold and young it usually follow that they are red. A kind person will certainly be rough as well. Round people who are kind tend to be nice. People that are rough and red in the face, are usually big in size.
Eric is rough.
@0: Alan is big.[(triple4)] Alan is green.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Dave is cold.[(triple9)] Dave is kind.[(triple8)] Dave is rough.[(triple7 OR ((triple8) -> rule2))] Dave is round.[(triple6)] Dave is young.[(triple5)] Eric is kind.[(triple11)] Eric is round.[(triple10)] Fred is round.[(triple12)] @1: Dave is nice.[(((triple6 triple8) -> rule3))] Eric is nice.[(((triple10 triple11) -> rule3))] Eric is rough.[(((triple11) -> rule2))] @2: Dave is red.[(((((triple6 triple8) -> rule3) triple9 triple5) -> rule1))] @3: Dave is big.[(((((((triple6 triple8) -> rule3) triple9 triple5) -> rule1) triple7) -> rule4) OR ((((((triple6 triple8) -> rule3) triple9 triple5) -> rule1) ((triple8) -> rule2)) -> rule4))]