Charlie is red. Dave is furry. If Charlie is red then Charlie is white. If Charlie is not round then Charlie is big. If Charlie is kind and Charlie is furry then Charlie is not nice. If Dave is red then Dave is kind. If someone is big then they are not kind. All white people are big.
Charlie is not furry.
@0: Charlie is red.[(triple1)] Dave is furry.[(triple2)] @1: Charlie is white.[(((triple1) -> rule1))] @2: Charlie is big.[(((((triple1) -> rule1)) -> rule6))] @3: Charlie is not kind.[(((((((triple1) -> rule1)) -> rule6)) -> rule5))]