Alan ate some rotten meat and now feels green. Dave's a round guy, and a red and green guy. Young Fred is wearing green pants. Young Harry is wearing green pants. Most young, green people are kind and because of this they are round. Cold people who are young and green are actually nice. If you are green you are also kind. If you meet a person who is green, big and blue, you will find them to be nice. Kind people,though green,tend to be nice. Nice people are cold people.
Alan is cold.
@0: Alan is green.[(triple1)] Dave is green.[(triple4)] Dave is red.[(triple3)] Dave is round.[(triple2)] Fred is green.[(triple6)] Fred is young.[(triple5)] Harry is green.[(triple8)] Harry is young.[(triple7)] @1: Alan is kind.[(((triple1) -> rule3))] Dave is kind.[(((triple4) -> rule3))] Fred is kind.[(((triple6) -> rule3))] Harry is kind.[(((triple8) -> rule3))] @2: Alan is nice.[(((((triple1) -> rule3) triple1) -> rule5))] Dave is nice.[(((((triple4) -> rule3) triple4) -> rule5))] Fred is nice.[(((((triple6) -> rule3) triple6) -> rule5))] Fred is round.[(((triple6 triple5 ((triple6) -> rule3)) -> rule1))] Harry is nice.[(((((triple8) -> rule3) triple8) -> rule5))] Harry is round.[(((triple8 triple7 ((triple8) -> rule3)) -> rule1))] @3: Alan is cold.[(((((((triple1) -> rule3) triple1) -> rule5)) -> rule6))] Dave is cold.[(((((((triple4) -> rule3) triple4) -> rule5)) -> rule6))] Fred is cold.[(((((((triple6) -> rule3) triple6) -> rule5)) -> rule6))] Harry is cold.[(((((((triple8) -> rule3) triple8) -> rule5)) -> rule6))]