Alan is young, but very kind to others. Alan is big, with round features. Bob is young and round, he is also green. They always call him rough Charlie. You could say that Gary is red and kind and it would also be true that he is cold and big. Being round and nice automatically means a person is kind. Maybe someone is rough and blue with the cold. If a kind person is also young and round shaped, they will be colored blue. People who are big and kind and feel down and blue tend to have rough skin. A person who is round shaped while also being quite cold tends to be nice. Kind people who are nice find that they must also be rough. It's always true that round, kind people are rough as well.
Alan is green.
@0: Alan is big.[(triple4)] Alan is kind.[(triple3)] Alan is round.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple7)] Bob is round.[(triple6)] Bob is young.[(triple5)] Charlie is rough.[(triple8)] Gary is big.[(triple12)] Gary is cold.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] @1: Alan is blue.[(((triple3 triple1 triple2) -> rule3))] Alan is rough.[(((triple2 triple3) -> rule7) OR ((triple3 triple4 ((triple3 triple1 triple2) -> rule3)) -> rule4))] @2: Alan is cold.[(((((triple2 triple3) -> rule7) ((triple3 triple1 triple2) -> rule3)) -> rule2) OR ((((triple3 triple4 ((triple3 triple1 triple2) -> rule3)) -> rule4) ((triple3 triple1 triple2) -> rule3)) -> rule2))] @3: Alan is nice.[(((triple2 ((((triple2 triple3) -> rule7) ((triple3 triple1 triple2) -> rule3)) -> rule2)) -> rule5) OR ((triple2 ((((triple3 triple4 ((triple3 triple1 triple2) -> rule3)) -> rule4) ((triple3 triple1 triple2) -> rule3)) -> rule2)) -> rule5))]