Bob is both young and fairly round in size. Charlie was in a chemistry lab accident and turned blue and green which is even more obvious due to his round figure. Young, round Gary is green and very cold, but also nice. When you meet someone round, blue and nice they are as a rule rough. Young, green round people are big. A person who is nice and green with envy is round. Every time I see a young blue nice person I know they are also red. Someone big and rough in shape is always kind. If a nice person is round shaped, they feel blue about it. Someone who is round like a dumpling and cold like an icicle are very young in age.
Bob is not big.
@0: Bob is round.[(triple2)] Bob is young.[(triple1)] Charlie is blue.[(triple5)] Charlie is green.[(triple4)] Charlie is round.[(triple3)] Gary is cold.[(triple10)] Gary is green.[(triple9)] Gary is nice.[(triple8)] Gary is round.[(triple7 OR ((triple8 triple9) -> rule3))] Gary is young.[(triple6 OR ((triple7 triple10) -> rule7) OR ((((triple8 triple9) -> rule3) triple10) -> rule7))] @1: Gary is big.[(((triple9 triple6 triple7) -> rule2) OR ((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) OR ((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) OR ((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) OR ((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) OR ((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2))] Gary is blue.[(((triple8 triple7) -> rule6) OR ((triple8 ((triple8 triple9) -> rule3)) -> rule6))] @2: Gary is red.[(((triple8 triple6 ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 ((triple7 triple10) -> rule7) ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 triple6 ((triple8 ((triple8 triple9) -> rule3)) -> rule6)) -> rule4) OR ((triple8 ((triple7 triple10) -> rule7) ((triple8 ((triple8 triple9) -> rule3)) -> rule6)) -> rule4) OR ((triple8 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple7) -> rule6)) -> rule4) OR ((triple8 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 ((triple8 triple9) -> rule3)) -> rule6)) -> rule4))] Gary is rough.[(((((triple8 triple7) -> rule6) triple8 triple7) -> rule1) OR ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1) OR ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1) OR ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1))] @3: Gary is kind.[(((((triple9 triple6 triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 triple6 triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 triple6 ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((triple7 triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) triple7) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 triple7) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 triple7) -> rule1)) -> rule5) OR ((((triple9 ((((triple8 triple9) -> rule3) triple10) -> rule7) ((triple8 triple9) -> rule3)) -> rule2) ((((triple8 ((triple8 triple9) -> rule3)) -> rule6) triple8 ((triple8 triple9) -> rule3)) -> rule1)) -> rule5))]