Bob is big and rough. People who know Fred know he's red, kind, young, cold, blue and big. Gary ate some rotten meat and now feels green. Young Harry got into a fight that left him with red sores on his face. People who are rough and green with envy are young. I've noticed that someone with a round shape is also green. Big people are also round people. A nice red person that is cold is always big, I have found. Julie is really nice to gardeners since she has a green thumb. If you meet somebody who is young, rough and round, you can be sure they are nice as well. It's true that green and blue people are also red people.
Bob is nice.
@0: Bob is big.[(triple2)] Bob is rough.[(triple1)] Fred is big.[(triple8)] Fred is blue.[(triple7)] Fred is cold.[(triple6)] Fred is kind.[(triple5)] Fred is red.[(triple4 OR ((((((triple8) -> rule3)) -> rule2) triple7) -> rule7))] Fred is young.[(triple3)] Gary is green.[(triple9)] Harry is red.[(triple11)] Harry is young.[(triple10)] @1: Bob is round.[(((triple2) -> rule3))] Fred is round.[(((triple8) -> rule3))] @2: Bob is green.[(((((triple2) -> rule3)) -> rule2))] Fred is green.[(((((triple8) -> rule3)) -> rule2))] @3: Bob is young.[(((triple1 ((((triple2) -> rule3)) -> rule2)) -> rule1))] @4: Bob is nice.[(((((triple1 ((((triple2) -> rule3)) -> rule2)) -> rule1) ((triple2) -> rule3) triple1) -> rule6))]