Bob is young, rough and green, but he is also kind and is red when embarrassed. Charlie ate some rotten meat and now feels green. Red Dave is what folks call him, because he is quite red. Young Gary is a big, cold, rough person. Find someone cold and green. If they are also round, then they are sure to be nice. Rough and kind people are big. Big and cold people are likely to be round, too. Kind people,though green,are cold.
Bob is not round.
@0: Bob is green.[(triple5)] Bob is kind.[(triple4)] Bob is red.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is green.[(triple6)] Dave is red.[(triple7)] Gary is big.[(triple11)] Gary is cold.[(triple10)] Gary is rough.[(triple9)] Gary is young.[(triple8)] @1: Bob is big.[(((triple2 triple4) -> rule2))] Bob is cold.[(((triple4 triple5) -> rule4))] Gary is round.[(((triple11 triple10) -> rule3))] @2: Bob is round.[(((((triple2 triple4) -> rule2) ((triple4 triple5) -> rule4)) -> rule3))] @3: Bob is nice.[(((((triple4 triple5) -> rule4) triple5 ((((triple2 triple4) -> rule2) ((triple4 triple5) -> rule4)) -> rule3)) -> rule1))]