Charlie always goes out of his way to show that he is kind to people. From a certain angle Eric is blue but he is young so maybe that will go away. Gary looks red to most people, with blue features. Harry is big, round, and rough. He is young, kind, and nice with rosy red cheeks. If people are nice and round, they look red. Lucky for us, people that are round and red are kind to strangers. Red and round people are nice to others even though they are big. A round shaped and red person is definitely nice. Someone blue who is round with bloating and red from sunburn is surely cold from having fallen into the lake. All men who happen to be red and big, will also be blue. Young people who are nice and cold, are rather green.
Eric is not nice.
@0: Charlie is kind.[(triple1)] Eric is blue.[(triple3)] Eric is young.[(triple2)] Gary is blue.[(triple5)] Gary is red.[(triple4)] Harry is big.[(triple12 OR ((triple10 triple7 triple9) -> rule3) OR ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3) OR ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3) OR ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3))] Harry is kind.[(triple11 OR ((triple7 triple9) -> rule2) OR ((triple7 ((triple10 triple7) -> rule1)) -> rule2))] Harry is nice.[(triple10 OR ((triple7 triple9) -> rule4))] Harry is red.[(triple9 OR ((triple10 triple7) -> rule1))] Harry is rough.[(triple8)] Harry is round.[(triple7)] Harry is young.[(triple6)] @1: Harry is blue.[(((triple9 triple12) -> rule6) OR ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) triple12) -> rule6) OR ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) OR ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) OR ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) OR ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) OR ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6))] @2: Harry is cold.[(((triple7 ((triple9 triple12) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5) OR ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5))] @3: Harry is green.[(((triple10 triple6 ((triple7 ((triple9 triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) triple12) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((triple10 triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((triple9 ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((triple10 triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 triple9) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) triple9) -> rule5)) -> rule7) OR ((((triple7 triple9) -> rule4) triple6 ((triple7 ((((triple10 triple7) -> rule1) ((((triple7 triple9) -> rule4) triple7 ((triple10 triple7) -> rule1)) -> rule3)) -> rule6) ((triple10 triple7) -> rule1)) -> rule5)) -> rule7))]