Alan ate some rotten meat and now feels green. Dave is a very nice man but he feels a bit blue due to being so young and cold despite wearing his very heavy red sweater. Gary is a young guy who is also round, red, kind, cold and blue. A depressed person feeling blue who is kind cannot escape from being green. When someone is young, they can be cold but kind. Someone big and rough in shape is always kind. Kind and blue people,though young,tend to be big. A nice person who is downhearted, blue, and green with envy is rough. They found the ones that were round, blue, and green to be nice. Green people who are nice are rough.
Gary is nice.
@0: Alan is green.[(triple1)] Dave is blue.[(triple6)] Dave is cold.[(triple5)] Dave is nice.[(triple4)] Dave is red.[(triple3)] Dave is young.[(triple2)] Gary is blue.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10 OR ((triple7 triple11) -> rule2))] Gary is red.[(triple9)] Gary is round.[(triple8)] Gary is young.[(triple7)] @1: Dave is kind.[(((triple2 triple5) -> rule2))] Gary is big.[(((triple10 triple12 triple7) -> rule4) OR ((((triple7 triple11) -> rule2) triple12 triple7) -> rule4))] Gary is green.[(((triple12 triple10) -> rule1) OR ((triple12 ((triple7 triple11) -> rule2)) -> rule1))] @2: Dave is big.[(((((triple2 triple5) -> rule2) triple6 triple2) -> rule4))] Dave is green.[(((triple6 ((triple2 triple5) -> rule2)) -> rule1))] Gary is nice.[(((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) OR ((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6))] @3: Dave is rough.[(((triple4 ((triple6 ((triple2 triple5) -> rule2)) -> rule1)) -> rule7) OR ((triple4 triple6 ((triple6 ((triple2 triple5) -> rule2)) -> rule1)) -> rule5))] Gary is rough.[(((((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) ((triple12 triple10) -> rule1)) -> rule7) OR ((((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) triple12 ((triple12 triple10) -> rule1)) -> rule5) OR ((((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule7) OR ((((triple8 triple12 ((triple12 triple10) -> rule1)) -> rule6) triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule5) OR ((((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6) ((triple12 triple10) -> rule1)) -> rule7) OR ((((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6) triple12 ((triple12 triple10) -> rule1)) -> rule5) OR ((((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6) ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule7) OR ((((triple8 triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule6) triple12 ((triple12 ((triple7 triple11) -> rule2)) -> rule1)) -> rule5))]