That guy Bob sure is nice. Dave is known for being big and rough, but few know he is also always red with cold. Rough and cold that is what they say about Blue Gary. Harry is somehow red and kind and also green. Kind people that are red and round are usually big. Not a single young person is not also kind. Nice people who are blue and round at the same time are always young. Big people with red hair are cold because they cannot find coats that fit. Most young kind people tend to be red too. If someone is cold and blue, you will find that they are also quite young. Young and red people look round.
Gary is big.
@0: Bob is nice.[(triple1)] Dave is big.[(triple5)] Dave is cold.[(triple4 OR ((triple3 triple5) -> rule4))] Dave is red.[(triple3)] Dave is rough.[(triple2)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Gary is rough.[(triple6)] Harry is green.[(triple11)] Harry is kind.[(triple10)] Harry is red.[(triple9)] @1: Gary is young.[(((triple8 triple7) -> rule6))] @2: Gary is kind.[(((((triple8 triple7) -> rule6)) -> rule2))] @3: Gary is red.[(((((triple8 triple7) -> rule6) ((((triple8 triple7) -> rule6)) -> rule2)) -> rule5))] @4: Gary is round.[(((((triple8 triple7) -> rule6) ((((triple8 triple7) -> rule6) ((((triple8 triple7) -> rule6)) -> rule2)) -> rule5)) -> rule7))] @5: Gary is big.[(((((((triple8 triple7) -> rule6)) -> rule2) ((((triple8 triple7) -> rule6) ((((triple8 triple7) -> rule6) ((((triple8 triple7) -> rule6)) -> rule2)) -> rule5)) -> rule7) ((((triple8 triple7) -> rule6) ((((triple8 triple7) -> rule6)) -> rule2)) -> rule5)) -> rule1))]