Alan can be cold and rough, but also can be nice and kind. Either way, he's big and round. They always call him rough Charlie. Gary wears all blue. Harry is a nice and red, but very kind person as soon as you meet him. Young people who are big, downhearted, and blue are kind. Nice people who are big are always feeling blue. A person who is green and rough and round is also young. Among the green people who are young, the color blue is always part of them. A quite nice person will certainly be red. I believe that red, cold, rough people are likely to be green. A kind, young human will also be a blue human.
Harry is not rough.
@0: Alan is big.[(triple6)] Alan is cold.[(triple5)] Alan is kind.[(triple4 OR ((triple6 ((triple3 triple6) -> rule2) ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule1) OR ((triple6 ((((triple2 ((triple3) -> rule5) triple5) -> rule6) ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule4) ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule1))] Alan is nice.[(triple3)] Alan is rough.[(triple2)] Alan is round.[(triple1)] Charlie is rough.[(triple7)] Gary is blue.[(triple8)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] Harry is red.[(triple9 OR ((triple10) -> rule5))] @1: Alan is blue.[(((triple3 triple6) -> rule2) OR ((triple4 ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule7) OR ((((triple2 ((triple3) -> rule5) triple5) -> rule6) ((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3)) -> rule4))] Alan is red.[(((triple3) -> rule5))] @2: Alan is green.[(((triple2 ((triple3) -> rule5) triple5) -> rule6))] @3: Alan is young.[(((triple1 triple2 ((triple2 ((triple3) -> rule5) triple5) -> rule6)) -> rule3))]