The bear chases the cat. The bear eats the cat. The bear is kind. The bear is red. The bear visits the cat. The cat chases the bear. The cat visits the bear. If someone is rough then they visit the bear. If someone is nice and they visit the bear then they visit the cat. If someone is kind and they eat the bear then they chase the bear. If someone visits the bear and the bear chases the cat then the cat eats the bear. If someone eats the bear then they are nice. If someone is nice and they visit the cat then they chase the bear.
The bear does not chase the bear.
@0: The bear chases the cat.[(triple1)] The bear eats the cat.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear visits the cat.[(triple5)] The cat chases the bear.[(triple6 OR ((((((triple7 triple1) -> rule4)) -> rule5) ((((((triple7 triple1) -> rule4)) -> rule5) triple7) -> rule2)) -> rule6))] The cat visits the bear.[(triple7)] @1: The cat eats the bear.[(((triple7 triple1) -> rule4))] @2: The cat is nice.[(((((triple7 triple1) -> rule4)) -> rule5))] @3: The cat visits the cat.[(((((((triple7 triple1) -> rule4)) -> rule5) triple7) -> rule2))]