Dave is nice. Harry is big. Harry is nice. All rough things are smart. If Dave is big and Dave is kind then Dave is smart. If something is rough then it is white. All white, smart things are kind. If something is nice then it is rough. If something is nice and white then it is rough.
Dave is big.
@0: Dave is nice.[(triple1)] Harry is big.[(triple2)] Harry is nice.[(triple3)] @1: Dave is rough.[(((triple1) -> rule5))] Harry is rough.[(((triple3) -> rule5))] @2: Dave is smart.[(((((triple1) -> rule5)) -> rule1))] Dave is white.[(((((triple1) -> rule5)) -> rule3))] Harry is smart.[(((((triple3) -> rule5)) -> rule1))] Harry is white.[(((((triple3) -> rule5)) -> rule3))] @3: Dave is kind.[(((((((triple1) -> rule5)) -> rule3) ((((triple1) -> rule5)) -> rule1)) -> rule4))] Harry is kind.[(((((((triple3) -> rule5)) -> rule3) ((((triple3) -> rule5)) -> rule1)) -> rule4))]