Bob is kind. Bob is young. Charlie is furry. Charlie is green. Charlie is red. Charlie is round. Fiona is furry. Kind, green people are furry. If someone is rough and furry then they are kind. If someone is kind then they are green.
Bob is not kind.
@0: Bob is kind.[(triple1)] Bob is young.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Fiona is furry.[(triple7)] @1: Bob is green.[(((triple1) -> rule3))] @2: Bob is furry.[(((triple1 ((triple1) -> rule3)) -> rule1))]