Bob is a big gentleman who is very nice. He is secretly green with envy. Charlie is interestingly colored red and blue, and is also very kind. Fred is blue from ink he spilled on himself while being kind and helping some children paint. Harry is colored blue and red, and you will notice is he is also big and round. Lucky for us, people that are round and red are kind to strangers. People that are green tend to be young. People who are described as young, green, and big are often considered rough. People that are big but also green, may ultimately be very nice. Young and nice people are ultimately cold. Someone who is cold and big is also a red person.
Charlie is green.
@0: Bob is big.[(triple3)] Bob is green.[(triple2)] Bob is nice.[(triple1 OR ((triple3 triple2) -> rule4))] Charlie is blue.[(triple6)] Charlie is kind.[(triple5)] Charlie is red.[(triple4)] Fred is blue.[(triple8)] Fred is kind.[(triple7)] Harry is big.[(triple12)] Harry is blue.[(triple11)] Harry is red.[(triple10)] Harry is round.[(triple9)] @1: Bob is young.[(((triple2) -> rule2))] Harry is kind.[(((triple9 triple10) -> rule1))] @2: Bob is cold.[(((((triple2) -> rule2) triple1) -> rule5) OR ((((triple2) -> rule2) ((triple3 triple2) -> rule4)) -> rule5))] Bob is rough.[(((triple3 triple2 ((triple2) -> rule2)) -> rule3))] @3: Bob is red.[(((triple3 ((((triple2) -> rule2) triple1) -> rule5)) -> rule6) OR ((triple3 ((((triple2) -> rule2) ((triple3 triple2) -> rule4)) -> rule5)) -> rule6))]