You can tell me Bob is rough, and I know he is kind, cold, blue and very young. Charlie seems to be round. Harry may be round, but he is also kind. When a person is nice and round and cold, they look blue. Young people are so rough that they can hold their breath until they are blue. People of young age are rough and cold but some are nice. Someone being nice, even when they are cold without a doubt means that they are round about the middle. Nice people with red and rough skin are green with envy. When someone is blue, nice and young they will also be as big as the sun. If a person is both cold and round, that person is also someone who is red.
Gary is rough.
@0: Bob is blue.[(triple5 OR ((triple2 triple1) -> rule2) OR ((((triple4 ((triple1 triple2 triple4) -> rule3)) -> rule4) ((triple1 triple2 triple4) -> rule3) triple4) -> rule1))] Bob is cold.[(triple4)] Bob is kind.[(triple3)] Bob is rough.[(triple2)] Bob is young.[(triple1)] Charlie is round.[(triple6)] Harry is kind.[(triple8)] Harry is round.[(triple7)] @1: Bob is nice.[(((triple1 triple2 triple4) -> rule3))] @2: Bob is big.[(((triple1 triple5 ((triple1 triple2 triple4) -> rule3)) -> rule6) OR ((triple1 ((triple2 triple1) -> rule2) ((triple1 triple2 triple4) -> rule3)) -> rule6) OR ((triple1 ((((triple4 ((triple1 triple2 triple4) -> rule3)) -> rule4) ((triple1 triple2 triple4) -> rule3) triple4) -> rule1) ((triple1 triple2 triple4) -> rule3)) -> rule6))] Bob is round.[(((triple4 ((triple1 triple2 triple4) -> rule3)) -> rule4))] @3: Bob is red.[(((((triple4 ((triple1 triple2 triple4) -> rule3)) -> rule4) triple4) -> rule7))] @4: Bob is green.[(((triple2 ((triple1 triple2 triple4) -> rule3) ((((triple4 ((triple1 triple2 triple4) -> rule3)) -> rule4) triple4) -> rule7)) -> rule5))]