Bob is green and cold too. Eric seems to be round. Fred who is young and round is also big and rough. The kind, young, blue one is Harry. He's nice and round. If someone you know is big, cold, and young, you know they are also kind. Kind red people are green on the inside. When someone is kind yet can be cold and blue, they will also be very big. A nice but rough person will also be green and cold. Most young kind people tend to be red too. Young and red people look round. Nice people who are also red are going to be cold too.
Fred is not kind.
@0: Bob is cold.[(triple2)] Bob is green.[(triple1)] Eric is round.[(triple3)] Fred is big.[(triple7)] Fred is rough.[(triple6)] Fred is round.[(triple5)] Fred is young.[(triple4)] Harry is blue.[(triple12)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] Harry is round.[(triple9 OR ((triple8 ((triple8 triple11) -> rule5)) -> rule6))] Harry is young.[(triple8)] @1: Harry is red.[(((triple8 triple11) -> rule5))] @2: Harry is cold.[(((triple10 ((triple8 triple11) -> rule5)) -> rule7))] Harry is green.[(((triple11 ((triple8 triple11) -> rule5)) -> rule2))] @3: Harry is big.[(((triple11 ((triple10 ((triple8 triple11) -> rule5)) -> rule7) triple12) -> rule3))]