Dave is a rather big guy with rough features. He's pretty red and green, most of the time. Because Eric gets cold easily he tends to appear round from bundling up. Fred is nice, even when he is rough and red with anger. Others enjoy Harry's company because he is so nice and kind. Red, kind, rough people are the young ones. Anybody that is big is also someone who is going to be blue. Big, rough people sometimes are also green and when they are they must be cold. Someone who is blue and cold is also big. It's just a fact that a blue person is a kind person. It's true that green and blue people are also red people.
Dave is not cold.
@0: Dave is big.[(triple4)] Dave is green.[(triple3)] Dave is red.[(triple2 OR ((triple3 ((triple4) -> rule2)) -> rule6))] Dave is rough.[(triple1)] Eric is cold.[(triple6)] Eric is round.[(triple5)] Fred is nice.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] @1: Dave is blue.[(((triple4) -> rule2))] Dave is cold.[(((triple1 triple4 triple3) -> rule3))] @2: Dave is kind.[(((((triple4) -> rule2)) -> rule5))] @3: Dave is young.[(((triple2 ((((triple4) -> rule2)) -> rule5) triple1) -> rule1) OR ((((triple3 ((triple4) -> rule2)) -> rule6) ((((triple4) -> rule2)) -> rule5) triple1) -> rule1))]