For being so cold, it's good Dave can remain nice. Fred is green and cold too. Look, we know Gary is young and rough. We have to accept he's also red, nice, cold, and blue. A blue colored person who is nice is a red person. Nice round big people are kind to others. Being young and cold also means you're green. A nice but rough person will also be green and cold. Do not fear big cold people for they are often kind. If someone shows that they are red, then they are also showing that they are green. Nice and green people are often found to be big as well.
Gary is not young.
@0: Dave is cold.[(triple2)] Dave is nice.[(triple1)] Fred is cold.[(triple4)] Fred is green.[(triple3)] Gary is blue.[(triple10)] Gary is cold.[(triple9 OR ((triple8 ((triple7) -> rule6) triple6) -> rule4) OR ((triple8 ((((triple8 triple10) -> rule1)) -> rule6) triple6) -> rule4))] Gary is nice.[(triple8)] Gary is red.[(triple7 OR ((triple8 triple10) -> rule1))] Gary is rough.[(triple6)] Gary is young.[(triple5)] @1: Gary is green.[(((triple7) -> rule6) OR ((triple5 triple9) -> rule3) OR ((((triple8 triple10) -> rule1)) -> rule6))] @2: Gary is big.[(((triple8 ((triple7) -> rule6)) -> rule7) OR ((triple8 ((triple5 triple9) -> rule3)) -> rule7) OR ((triple8 ((((triple8 triple10) -> rule1)) -> rule6)) -> rule7))] @3: Gary is kind.[(((triple9 ((triple8 ((triple7) -> rule6)) -> rule7)) -> rule5) OR ((triple9 ((triple8 ((triple5 triple9) -> rule3)) -> rule7)) -> rule5) OR ((((triple8 ((triple7) -> rule6) triple6) -> rule4) ((triple8 ((triple7) -> rule6)) -> rule7)) -> rule5) OR ((((triple8 ((triple7) -> rule6) triple6) -> rule4) ((triple8 ((triple5 triple9) -> rule3)) -> rule7)) -> rule5) OR ((triple9 ((triple8 ((((triple8 triple10) -> rule1)) -> rule6)) -> rule7)) -> rule5) OR ((((triple8 ((triple7) -> rule6) triple6) -> rule4) ((triple8 ((((triple8 triple10) -> rule1)) -> rule6)) -> rule7)) -> rule5) OR ((((triple8 ((((triple8 triple10) -> rule1)) -> rule6) triple6) -> rule4) ((triple8 ((triple7) -> rule6)) -> rule7)) -> rule5) OR ((((triple8 ((((triple8 triple10) -> rule1)) -> rule6) triple6) -> rule4) ((triple8 ((triple5 triple9) -> rule3)) -> rule7)) -> rule5) OR ((((triple8 ((((triple8 triple10) -> rule1)) -> rule6) triple6) -> rule4) ((triple8 ((((triple8 triple10) -> rule1)) -> rule6)) -> rule7)) -> rule5))]