The bear chases the cat. The bear is green. The bear is round. The bear needs the cat. The bear visits the cat. The cat chases the bear. The cat is big. The cat is kind. The cat is round. The cat is young. The cat needs the bear. The cat visits the bear. If someone is round then they need the bear. If someone is young and they chase the cat then the cat visits the bear.
The bear chases the cat.
@0: The bear chases the cat.[(triple1)] The bear is green.[(triple2)] The bear is round.[(triple3)] The bear needs the cat.[(triple4)] The bear visits the cat.[(triple5)] The cat chases the bear.[(triple6)] The cat is big.[(triple7)] The cat is kind.[(triple8)] The cat is round.[(triple9)] The cat is young.[(triple10)] The cat needs the bear.[(triple11 OR ((triple9) -> rule1))] The cat visits the bear.[(triple12)] @1: The bear needs the bear.[(((triple3) -> rule1))]