Alan is big and dresses in blue. Bob is really big and young, wearing red and blue while feeling cold. Dave ate some rotten meat and now feels green. Eric always goes out of his way to show that he is kind to people. People who are big and kind are also round. Santa Claus is red and kind. He is also very nice, especially to children. A quite nice person will certainly be red. Rough young folks are surprisingly kind. People who are blue and cold are red. Young,cold and blue people are mostly round. People that are blue, cold, and big, are rather rough.
Bob is not kind.
@0: Alan is big.[(triple2)] Alan is blue.[(triple1)] Bob is big.[(triple7)] Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is red.[(triple4 OR ((triple6 triple5) -> rule5))] Bob is young.[(triple3)] Dave is green.[(triple8)] Eric is kind.[(triple9)] @1: Bob is rough.[(((triple6 triple5 triple7) -> rule7))] Bob is round.[(((triple6 triple3 triple5) -> rule6) OR ((((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4) triple7) -> rule1))] @2: Bob is kind.[(((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4))] @3: Bob is nice.[(((triple4 ((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4)) -> rule2) OR ((((triple6 triple5) -> rule5) ((triple3 ((triple6 triple5 triple7) -> rule7)) -> rule4)) -> rule2))]