The bear eats the dog. The bear eats the rabbit. The bear is green. The bear sees the dog. The bear sees the rabbit. The bear visits the dog. The bear visits the rabbit. The dog eats the rabbit. The dog is cold. The dog sees the bear. The dog visits the rabbit. The rabbit is green. The rabbit is rough. The rabbit sees the bear. The rabbit sees the dog. The rabbit visits the dog. If something is big then it eats the rabbit. If the rabbit sees the dog then the rabbit is rough. If something is cold then it eats the dog. Cold things are big. If something sees the bear and it is kind then it is green. If something is cold and it eats the rabbit then the rabbit sees the bear.
The bear visits the rabbit.
@0: The bear eats the dog.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is green.[(triple3)] The bear sees the dog.[(triple4)] The bear sees the rabbit.[(triple5)] The bear visits the dog.[(triple6)] The bear visits the rabbit.[(triple7)] The dog eats the rabbit.[(triple8 OR ((((triple9) -> rule4)) -> rule1))] The dog is cold.[(triple9)] The dog sees the bear.[(triple10)] The dog visits the rabbit.[(triple11)] The rabbit is green.[(triple12)] The rabbit is rough.[(triple13 OR ((triple15) -> rule2))] The rabbit sees the bear.[(triple14 OR ((triple9 triple8) -> rule6) OR ((triple9 ((((triple9) -> rule4)) -> rule1)) -> rule6))] The rabbit sees the dog.[(triple15)] The rabbit visits the dog.[(triple16)] @1: The dog eats the dog.[(((triple9) -> rule3))] The dog is big.[(((triple9) -> rule4))]