Bob ate some rotten meat and now feels green. Dave is too young to be so big. Some say he is too green to be so blue as well. Eric had big, red, round cheeks. Round, blue, and green people are poften rough. When a person can be described as blue, rough and round, you can call them nice at the same time. People who are blue and red and kind are described as being green. Most of the people that are big and nice with green eyes, will be round. A big, young human being is sure to also be a green human being. People feeling green and blue are somewhat nice.
Dave is nice.
@0: Bob is green.[(triple1)] Dave is big.[(triple5)] Dave is blue.[(triple4)] Dave is green.[(triple3 OR ((triple5 triple2) -> rule5))] Dave is young.[(triple2)] Eric is big.[(triple8)] Eric is red.[(triple7)] Eric is round.[(triple6)] @1: Dave is nice.[(((triple3 triple4) -> rule6) OR ((((triple5 triple2) -> rule5) triple4) -> rule6))] @2: Dave is round.[(((triple5 ((triple3 triple4) -> rule6) triple3) -> rule4) OR ((triple5 ((triple3 triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4) OR ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) triple3) -> rule4) OR ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4))] @3: Dave is rough.[(((triple4 triple3 ((triple5 ((triple3 triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 triple3 ((triple5 ((triple3 triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((triple3 triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((triple3 triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple4 triple3 ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 triple3 ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) triple3) -> rule4)) -> rule1) OR ((triple4 ((triple5 triple2) -> rule5) ((triple5 ((((triple5 triple2) -> rule5) triple4) -> rule6) ((triple5 triple2) -> rule5)) -> rule4)) -> rule1))]