Big, red Dave is quite kind. Eric is a person both green and big. Fred always goes out of his way to show that he is kind to people. Harry is kind and has rough, round hands that are red. Harry is green with envy when he looks at people who don't have to work. A person who is nice and green with envy is round. A kind and green person who is rough around the edges is cold. Rough and green people are also nice. Cold and kind people tend to be blue. Anyone who is round and also cold will surely be big as well. People with rough red and blue skin are young.
Harry is not big.
@0: Dave is big.[(triple3)] Dave is kind.[(triple2)] Dave is red.[(triple1)] Eric is big.[(triple5)] Eric is green.[(triple4)] Fred is kind.[(triple6)] Harry is green.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9)] Harry is rough.[(triple8)] Harry is round.[(triple7 OR ((((triple8 triple11) -> rule3) triple11) -> rule1))] @1: Harry is cold.[(((triple11 triple8 triple10) -> rule2))] Harry is nice.[(((triple8 triple11) -> rule3))] @2: Harry is big.[(((triple7 ((triple11 triple8 triple10) -> rule2)) -> rule5) OR ((((((triple8 triple11) -> rule3) triple11) -> rule1) ((triple11 triple8 triple10) -> rule2)) -> rule5))] Harry is blue.[(((((triple11 triple8 triple10) -> rule2) triple10) -> rule4))] @3: Harry is young.[(((triple8 triple9 ((((triple11 triple8 triple10) -> rule2) triple10) -> rule4)) -> rule6))]