Alan is known to be rough and green. Fred is young and rough. He is at once red, then blue, then green. But deep down, he is nice. People think that Gary is round. This might be because he is young and blue. Red, big people can't help but be round as well. A person with nice, blue traits who is young will surely be a round person. If a human is both young and kind, they are also cold. A green colored person will be young and also kind. A person who exhibits nice, kind and cold characteristics will also be a rough person. You will always find a cold, rough, red person to also be a round person. If you run into a cold and kind person, they are always big.
Fred is blue.
@0: Alan is green.[(triple2)] Alan is rough.[(triple1)] Fred is blue.[(triple8)] Fred is green.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Fred is rough.[(triple4 OR ((((triple7 triple3) -> rule4) triple6 ((triple3 ((triple7 triple3) -> rule4)) -> rule3)) -> rule5))] Fred is young.[(triple3)] Gary is blue.[(triple11)] Gary is round.[(triple10)] Gary is young.[(triple9)] @1: Fred is kind.[(((triple7 triple3) -> rule4))] Fred is round.[(((triple8 triple6 triple3) -> rule2) OR ((((triple3 ((triple7 triple3) -> rule4)) -> rule3) triple4 triple5) -> rule6) OR ((triple5 ((((triple3 ((triple7 triple3) -> rule4)) -> rule3) ((triple7 triple3) -> rule4)) -> rule7)) -> rule1) OR ((((triple3 ((triple7 triple3) -> rule4)) -> rule3) ((((triple7 triple3) -> rule4) triple6 ((triple3 ((triple7 triple3) -> rule4)) -> rule3)) -> rule5) triple5) -> rule6))] @2: Fred is cold.[(((triple3 ((triple7 triple3) -> rule4)) -> rule3))] @3: Fred is big.[(((((triple3 ((triple7 triple3) -> rule4)) -> rule3) ((triple7 triple3) -> rule4)) -> rule7))]