Bob was born only a few years ago so he is young. Nice, but round, Dave has been said to be cold. Because Eric gets cold easily he tends to appear round from bundling up. They always call him rough Fred. Anybody that is big is also someone who is going to be blue. Green eyed people are often nice, but when they are also round about the middle they are most certainly kind. People who are nice and cold are also green. Most kind and cold people are also big.
Dave is not green.
@0: Bob is young.[(triple1)] Dave is cold.[(triple4)] Dave is nice.[(triple3)] Dave is round.[(triple2)] Eric is cold.[(triple6)] Eric is round.[(triple5)] Fred is rough.[(triple7)] @1: Dave is green.[(((triple3 triple4) -> rule3))] @2: Dave is kind.[(((((triple3 triple4) -> rule3) triple3 triple2) -> rule2))] @3: Dave is big.[(((((((triple3 triple4) -> rule3) triple3 triple2) -> rule2) triple4) -> rule4))] @4: Dave is blue.[(((((((((triple3 triple4) -> rule3) triple3 triple2) -> rule2) triple4) -> rule4)) -> rule1))]