The bear chases the dog. The bear eats the dog. The bear is big. The bear is blue. The bear is kind. The bear is nice. The bear is red. The bear visits the dog. The dog chases the bear. The dog eats the bear. The dog is big. The dog is blue. The dog is kind. The dog is nice. The dog is red. The dog visits the bear. If the bear chases the dog then the bear eats the dog. If something visits the bear and it eats the dog then the dog is kind. If something eats the dog then the dog visits the bear.
The dog is blue.
@0: The bear chases the dog.[(triple1)] The bear eats the dog.[(triple2 OR ((triple1) -> rule1))] The bear is big.[(triple3)] The bear is blue.[(triple4)] The bear is kind.[(triple5)] The bear is nice.[(triple6)] The bear is red.[(triple7)] The bear visits the dog.[(triple8)] The dog chases the bear.[(triple9)] The dog eats the bear.[(triple10)] The dog is big.[(triple11)] The dog is blue.[(triple12)] The dog is kind.[(triple13)] The dog is nice.[(triple14)] The dog is red.[(triple15)] The dog visits the bear.[(triple16 OR ((triple2) -> rule3) OR ((((triple1) -> rule1)) -> rule3))]