Alan is a kind person and he is also often cold. Bob is young and green. This makes him cold to others. Charlie is a young, round shaped young man who is also very cold. Dave is kind. He is also very cold and blue. Not a single young person is not also kind. Even though young people are rough, they are still very red. All young and kind people that feel blue are described as red. It's pretty typical of red, rough, and cold people to be round. Most big and cold people are also rough. Kind people that are round are on the big side. Most young kind people tend to be red too.
Bob is not nice.
@0: Alan is cold.[(triple2)] Alan is kind.[(triple1)] Bob is cold.[(triple5)] Bob is green.[(triple4)] Bob is young.[(triple3)] Charlie is cold.[(triple8)] Charlie is round.[(triple7)] Charlie is young.[(triple6)] Dave is blue.[(triple11)] Dave is cold.[(triple10)] Dave is kind.[(triple9)] @1: Bob is kind.[(((triple3) -> rule1))] Charlie is kind.[(((triple6) -> rule1))] @2: Bob is red.[(((triple3 ((triple3) -> rule1)) -> rule7))] Charlie is big.[(((((triple6) -> rule1) triple7) -> rule6))] Charlie is red.[(((triple6 ((triple6) -> rule1)) -> rule7) OR ((((((((triple6) -> rule1) triple7) -> rule6) triple8) -> rule5) triple6) -> rule2))] @3: Charlie is rough.[(((((((triple6) -> rule1) triple7) -> rule6) triple8) -> rule5))]