If you meet Dave, you will know that he is young, red and kind. Eric is big, but he is also nice and kind. Gary wears a green and red coat, but is always cold. I know that green people that are also red an blue tend to be very kind people. Nice and kind people are downhearted and blue. Don't worry about asking a person who has skin that is green and red for a favor because they are nice. Turns out that sad people feeling blue who are both nice and cold to others are all big people. Someone nice is kind. A nice person who is also round will always be big.
Eric is blue.
@0: Dave is kind.[(triple3)] Dave is red.[(triple2)] Dave is young.[(triple1)] Eric is big.[(triple6)] Eric is kind.[(triple5 OR ((triple4) -> rule5))] Eric is nice.[(triple4)] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is red.[(triple7)] @1: Eric is blue.[(((triple4 triple5) -> rule2) OR ((triple4 ((triple4) -> rule5)) -> rule2))] Gary is nice.[(((triple7 triple8) -> rule3))] @2: Gary is kind.[(((((triple7 triple8) -> rule3)) -> rule5))] @3: Gary is blue.[(((((triple7 triple8) -> rule3) ((((triple7 triple8) -> rule3)) -> rule5)) -> rule2))] @4: Gary is big.[(((triple9 ((((triple7 triple8) -> rule3) ((((triple7 triple8) -> rule3)) -> rule5)) -> rule2) ((triple7 triple8) -> rule3)) -> rule4))]