Alan seems to be round. Bob has a round shape and is known to be cold and rough around the edges; however, he can also be kind. Fred, who is relatively young, is also pretty big and tends to be cold. A bit overweight, Harry is big and round. He's a nice guy who is often cold. Even though young people are rough, they are still very red. Anyone feeling cold is bound to act nice. People who are said to be big and nice are round. Even though a person is big and rough when they are cold they turn red. Someone who is a young age and looks like they are round are also red. A young aged and big blue person will definitely be cold.
Bob is not red.
@0: Alan is round.[(triple1)] Bob is cold.[(triple5)] Bob is kind.[(triple4)] Bob is rough.[(triple3)] Bob is round.[(triple2)] Fred is big.[(triple8)] Fred is cold.[(triple7)] Fred is young.[(triple6)] Harry is big.[(triple12)] Harry is cold.[(triple11)] Harry is nice.[(triple10 OR ((triple11) -> rule2))] Harry is round.[(triple9 OR ((triple12 triple10) -> rule3) OR ((triple12 ((triple11) -> rule2)) -> rule3))] @1: Bob is nice.[(((triple5) -> rule2))] Fred is nice.[(((triple7) -> rule2))] @2: Fred is round.[(((triple8 ((triple7) -> rule2)) -> rule3))] @3: Fred is red.[(((triple6 ((triple8 ((triple7) -> rule2)) -> rule3)) -> rule5))]