Alan, who is relatively young, is also pretty big and tends to be cold. Dave is young and green. This makes him cold to others. Eric is sick so his face is green, nose is red, and he is cold. Eric is rough right now. That guy Fred sure is nice. A rather big person is a red person. If a person has a rough and round shape and is nice, then they will be big too. Young people are so rough that they can hold their breath until they are blue. All those who are nice and big are red. An individual with the traits of being nice, red, and cold is also round. An individual who is big, red and young is also going to be a nice individual.
Fred is green.
@0: Alan is big.[(triple3)] Alan is cold.[(triple2)] Alan is young.[(triple1)] Dave is cold.[(triple6)] Dave is green.[(triple5)] Dave is young.[(triple4)] Eric is cold.[(triple10)] Eric is green.[(triple9)] Eric is red.[(triple8)] Eric is rough.[(triple7)] Fred is nice.[(triple11)] @1: Alan is red.[(((triple3) -> rule1))] @2: Alan is nice.[(((((triple3) -> rule1) triple1 triple3) -> rule6))] @3: Alan is round.[(((((((triple3) -> rule1) triple1 triple3) -> rule6) ((triple3) -> rule1) triple2) -> rule5))]