Alan is very big for being so young. Bob, who is nice and green, is also cold and blue. Big Eric is a young, round man. Harry feels blue because the other kids made fun of his round shape. When nice people are feeling blue and wearing green then they are round. Round people who are kind and green with envy are young. When a man or woman is kind, that man or woman is red as well. Round blue people are said to be very kind. Big, red, nice people are rough. A blue person in color will be a cold temperature, big in shape and will definitely be green. People who are nice and kind are usually also cold.
Bob is nice.
@0: Alan is big.[(triple2)] Alan is young.[(triple1)] Bob is blue.[(triple6)] Bob is cold.[(triple5 OR ((((triple6 ((triple6 triple3 triple4) -> rule1)) -> rule4) triple3) -> rule7))] Bob is green.[(triple4)] Bob is nice.[(triple3)] Eric is big.[(triple9)] Eric is round.[(triple8)] Eric is young.[(triple7)] Harry is blue.[(triple11)] Harry is round.[(triple10)] @1: Bob is round.[(((triple6 triple3 triple4) -> rule1))] Harry is kind.[(((triple11 triple10) -> rule4))] @2: Bob is kind.[(((triple6 ((triple6 triple3 triple4) -> rule1)) -> rule4))] Harry is red.[(((((triple11 triple10) -> rule4)) -> rule3))] @3: Bob is red.[(((((triple6 ((triple6 triple3 triple4) -> rule1)) -> rule4)) -> rule3))] Bob is young.[(((triple4 ((triple6 ((triple6 triple3 triple4) -> rule1)) -> rule4) ((triple6 triple3 triple4) -> rule1)) -> rule2))]