Anne is kind. Anne is quiet. Anne is white. Bob is big. Bob is green. Bob is kind. Bob is quiet. Bob is red. Fiona is kind. Fiona is quiet. All big people are white.
Anne is not furry.
@0: Anne is kind.[(triple1)] Anne is quiet.[(triple2)] Anne is white.[(triple3)] Bob is big.[(triple4)] Bob is green.[(triple5)] Bob is kind.[(triple6)] Bob is quiet.[(triple7)] Bob is red.[(triple8)] Fiona is kind.[(triple9)] Fiona is quiet.[(triple10)] @1: Bob is white.[(((triple4) -> rule1))]