The bear chases the cat. The bear is green. The bear visits the cat. The cat does not chase the bear. The cat eats the bear. The cat is nice. The cat is rough. All green people are kind. If someone is round and kind then they do not chase the cat. If someone is green then they chase the cat.
The cat does not chase the cat.
@0: The bear chases the cat.[(triple1 OR ((triple2) -> rule3))] The bear is green.[(triple2)] The bear visits the cat.[(triple3)] The cat does not chase the bear.[(triple4)] The cat eats the bear.[(triple5)] The cat is nice.[(triple6)] The cat is rough.[(triple7)] @1: The bear is kind.[(((triple2) -> rule1))]