Bob is both young and red, but is nice and kind but he can be cold. Charlie seems to be round. Rough and cold that is what they say about Blue Fred. A person who is kind, cold, and rough is big. A blue, cold natured person will be rough textured. Someone with rough and green feet is invariably kind. Cold and red people are always kind to others. If someone is cold and blue, you will find that they are also quite young. A round shaped kind person who is colored green will be cold natured. People who are young are also blue.
Bob is big.
@0: Bob is cold.[(triple5)] Bob is kind.[(triple4 OR ((triple5 triple2) -> rule4))] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Charlie is round.[(triple6)] Fred is blue.[(triple9)] Fred is cold.[(triple8)] Fred is rough.[(triple7 OR ((triple9 triple8) -> rule2))] @1: Bob is blue.[(((triple1) -> rule7))] Fred is young.[(((triple9 triple8) -> rule5))] @2: Bob is rough.[(((((triple1) -> rule7) triple5) -> rule2))] @3: Bob is big.[(((triple4 triple5 ((((triple1) -> rule7) triple5) -> rule2)) -> rule1) OR ((((triple5 triple2) -> rule4) triple5 ((((triple1) -> rule7) triple5) -> rule2)) -> rule1))]