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