Alan is a big fellow, often blue and sad, but he is nice. Dave rather resembles the rainbow, as he is green, red and blue. Dave is also said to be very kind. Fred seems to be round. People who have green body paint and act kind to others are quite young. Rough and big people are always also cold people. A kind person will certainly be rough as well. A person that is both nice and rough is someone who is also big. People who are feeling blue and green are said to be red. Any red sort of person is a nice person.
Dave is cold.
@0: Alan is big.[(triple3)] Alan is blue.[(triple2)] Alan is nice.[(triple1)] Dave is blue.[(triple7)] Dave is green.[(triple6)] Dave is kind.[(triple5)] Dave is red.[(triple4 OR ((triple7 triple6) -> rule5))] Fred is round.[(triple8)] @1: Dave is nice.[(((triple4) -> rule6) OR ((((triple7 triple6) -> rule5)) -> rule6))] Dave is rough.[(((triple5) -> rule3))] Dave is young.[(((triple5 triple6) -> rule1))] @2: Dave is big.[(((((triple5) -> rule3) ((triple4) -> rule6)) -> rule4) OR ((((triple5) -> rule3) ((((triple7 triple6) -> rule5)) -> rule6)) -> rule4))] @3: Dave is cold.[(((((triple5) -> rule3) ((((triple5) -> rule3) ((triple4) -> rule6)) -> rule4)) -> rule2) OR ((((triple5) -> rule3) ((((triple5) -> rule3) ((((triple7 triple6) -> rule5)) -> rule6)) -> rule4)) -> rule2))]