The bear chases the dog. The bear eats the dog. The bear is big. The bear is blue. The bear is cold. The bear is red. The bear sees the dog. The dog chases the bear. The dog eats the bear. The dog is big. The dog is blue. The dog is cold. The dog is green. The dog is red. The dog sees the bear. Big things are blue. If the bear is blue then the bear eats the dog. If something chases the dog then the dog is big.
The bear is red.
@0: The bear chases the dog.[(triple1)] The bear eats the dog.[(triple2 OR ((triple4) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] The bear is big.[(triple3)] The bear is blue.[(triple4 OR ((triple3) -> rule1))] The bear is cold.[(triple5)] The bear is red.[(triple6)] The bear sees the dog.[(triple7)] The dog chases the bear.[(triple8)] The dog eats the bear.[(triple9)] The dog is big.[(triple10 OR ((triple1) -> rule3))] The dog is blue.[(triple11 OR ((triple10) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] The dog is cold.[(triple12)] The dog is green.[(triple13)] The dog is red.[(triple14)] The dog sees the bear.[(triple15)]