Alan is big and round. His cheeks are rosy red and he is kind even though he is blue. Red Bob is what folks call him, because he is quite red. Red Fred is what folks call him, because he is quite red. Gary happens to be nice and green even though he is big and cold. Cold people,though green and red,tend to be rough. If the person is big and cold then as a rule they must be green. Any big, kind person that turns red is cold to the touch. A big kind person that is red is almost always nice. A person with the qualities of being cold and being red will also be a person that is green. Nobody who is round and rough and big can keep themselves from being nice. People who are nice, big, and also rough, are considered red.
Alan is big.
@0: Alan is big.[(triple5)] Alan is blue.[(triple4)] Alan is kind.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Bob is red.[(triple6)] Fred is red.[(triple7)] Gary is big.[(triple11)] Gary is cold.[(triple10)] Gary is green.[(triple9 OR ((triple11 triple10) -> rule2))] Gary is nice.[(triple8)] @1: Alan is cold.[(((triple2 triple5 triple3) -> rule3))] Alan is nice.[(((triple3 triple2 triple5) -> rule4) OR ((triple1 ((((triple2 triple5 triple3) -> rule3) ((triple5 ((triple2 triple5 triple3) -> rule3)) -> rule2) triple2) -> rule1) triple5) -> rule6) OR ((triple1 ((((triple2 triple5 triple3) -> rule3) ((((triple2 triple5 triple3) -> rule3) triple2) -> rule5) triple2) -> rule1) triple5) -> rule6))] @2: Alan is green.[(((triple5 ((triple2 triple5 triple3) -> rule3)) -> rule2) OR ((((triple2 triple5 triple3) -> rule3) triple2) -> rule5))] @3: Alan is rough.[(((((triple2 triple5 triple3) -> rule3) ((triple5 ((triple2 triple5 triple3) -> rule3)) -> rule2) triple2) -> rule1) OR ((((triple2 triple5 triple3) -> rule3) ((((triple2 triple5 triple3) -> rule3) triple2) -> rule5) triple2) -> rule1))]