Bob is furry. Bob is red. Charlie is nice. Charlie is quiet. Charlie is round. Charlie is smart. Harry is furry. Harry is quiet. Harry is red. Harry is round. All furry things are smart. All smart, big things are quiet. Smart things are big.
Charlie is not furry.
@0: Bob is furry.[(triple1)] Bob is red.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4 OR ((triple6 ((triple6) -> rule3)) -> rule2))] Charlie is round.[(triple5)] Charlie is smart.[(triple6)] Harry is furry.[(triple7)] Harry is quiet.[(triple8 OR ((((triple7) -> rule1) ((((triple7) -> rule1)) -> rule3)) -> rule2))] Harry is red.[(triple9)] Harry is round.[(triple10)] @1: Bob is smart.[(((triple1) -> rule1))] Charlie is big.[(((triple6) -> rule3))] Harry is smart.[(((triple7) -> rule1))] @2: Bob is big.[(((((triple1) -> rule1)) -> rule3))] Harry is big.[(((((triple7) -> rule1)) -> rule3))] @3: Bob is quiet.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule3)) -> rule2))]