Bob has been blue because he's green with envy. Charlie is young and green. He is rough, but nice. Dave is very big for being so young. Round people who are kind and green with envy are young. Somebody that is green, young and big is also going to be round. A rough person who is green will be round. A nice round person is big. It is a universal truth that whoever is young and round and big must also be kind. If a person is both rough and round, you know they are also red.
Charlie is not kind.
@0: Bob is blue.[(triple2)] Bob is green.[(triple1)] Charlie is green.[(triple6)] Charlie is nice.[(triple5)] Charlie is rough.[(triple4)] Charlie is young.[(triple3)] Dave is big.[(triple8)] Dave is young.[(triple7)] @1: Charlie is round.[(((triple6 triple4) -> rule3))] @2: Charlie is big.[(((((triple6 triple4) -> rule3) triple5) -> rule4))] Charlie is red.[(((triple4 ((triple6 triple4) -> rule3)) -> rule6))] @3: Charlie is kind.[(((triple3 ((triple6 triple4) -> rule3) ((((triple6 triple4) -> rule3) triple5) -> rule4)) -> rule5))]