Bob is very big for being so young. Dave has been blue because he's green with envy. If you meet Eric, you will know that he is young, red and kind. Fred is very big for being so young. Nice people flushing red are always young. When nice people are feeling blue and wearing green then they are round. A cold person who is both nice and rough around the edges is big. Blue people are known the world over as nice people. Round blue people are said to be very kind. All persons who are big are also kind. It is a universal truth that whoever is young and round and big must also be kind.
Bob is cold.
@0: Bob is big.[(triple2)] Bob is young.[(triple1)] Dave is blue.[(triple4)] Dave is green.[(triple3)] Eric is kind.[(triple7)] Eric is red.[(triple6)] Eric is young.[(triple5)] Fred is big.[(triple9)] Fred is young.[(triple8)] @1: Bob is kind.[(((triple2) -> rule6))] Dave is nice.[(((triple4) -> rule4))] Fred is kind.[(((triple9) -> rule6))] @2: Dave is round.[(((triple4 ((triple4) -> rule4) triple3) -> rule2))] @3: Dave is kind.[(((triple4 ((triple4 ((triple4) -> rule4) triple3) -> rule2)) -> rule5))]