Anne is big. Anne is furry. Anne is nice. Anne is quiet. Anne is smart. Anne is young. Bob is big. Bob is blue. Bob is furry. Bob is nice. Bob is young. Harry is nice. If something is young then it is nice.
Anne is not nice.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Anne is nice.[(triple3 OR ((triple6) -> rule1))] Anne is quiet.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Bob is big.[(triple7)] Bob is blue.[(triple8)] Bob is furry.[(triple9)] Bob is nice.[(triple10 OR ((triple11) -> rule1))] Bob is young.[(triple11)] Harry is nice.[(triple12)]