Bob came out and showed us how young, kind, cold, and big he was. Big rough Dave is round and rather green. Fred is green and cold too. The young person who is always feeling cold is named Harry. A person who is cold and blue is nice. A big and round individual is sure to be a kind individual, too. A nice, green, big person is also sure to be a red person. Round people who are kind tend to be nice. Kind people with rough skin are usually red because it's wind burn. Nice people who are also red are going to be cold too.
Bob is cold.
@0: Bob is big.[(triple4)] Bob is cold.[(triple3)] Bob is kind.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple8)] Dave is green.[(triple7)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Fred is cold.[(triple10)] Fred is green.[(triple9)] Harry is cold.[(triple12)] Harry is young.[(triple11)] @1: Dave is kind.[(((triple8 triple5) -> rule2))] @2: Dave is nice.[(((triple5 ((triple8 triple5) -> rule2)) -> rule4))] Dave is red.[(((triple6 ((triple8 triple5) -> rule2)) -> rule5) OR ((((triple5 ((triple8 triple5) -> rule2)) -> rule4) triple7 triple8) -> rule3))] @3: Dave is cold.[(((((triple5 ((triple8 triple5) -> rule2)) -> rule4) ((triple6 ((triple8 triple5) -> rule2)) -> rule5)) -> rule6) OR ((((triple5 ((triple8 triple5) -> rule2)) -> rule4) ((((triple5 ((triple8 triple5) -> rule2)) -> rule4) triple7 triple8) -> rule3)) -> rule6))]