Charlie is green. Charlie is white. Dave is red. Big things are white. If something is green and white then it is big. Furry, big things are red. All kind, red things are big. If Dave is red and Dave is green then Dave is furry. Red things are kind. All red things are smart. If Charlie is red then Charlie is kind.
Charlie is red.
@0: Charlie is green.[(triple1)] Charlie is white.[(triple2)] Dave is red.[(triple3)] @1: Charlie is big.[(((triple1 triple2) -> rule2))] Dave is kind.[(((triple3) -> rule6))] Dave is smart.[(((triple3) -> rule7))] @2: Dave is big.[(((((triple3) -> rule6) triple3) -> rule4))] @3: Dave is white.[(((((((triple3) -> rule6) triple3) -> rule4)) -> rule1))]