The bear eats the dog. The bear is blue. The bear is cold. The bear is rough. The bear likes the dog. The bear visits the dog. The dog eats the bear. The dog is blue. The dog is cold. The dog is kind. The dog likes the bear. The dog visits the bear. If the dog likes the bear and the dog visits the bear then the dog is kind. If someone is cold then they eat the dog. Cold people are rough.
The dog is kind.
@0: The bear eats the dog.[(triple1 OR ((triple3) -> rule2))] The bear is blue.[(triple2)] The bear is cold.[(triple3)] The bear is rough.[(triple4 OR ((triple3) -> rule3))] The bear likes the dog.[(triple5)] The bear visits the dog.[(triple6)] The dog eats the bear.[(triple7)] The dog is blue.[(triple8)] The dog is cold.[(triple9)] The dog is kind.[(triple10 OR ((triple11 triple12) -> rule1))] The dog likes the bear.[(triple11)] The dog visits the bear.[(triple12)] @1: The dog eats the dog.[(((triple9) -> rule2))] The dog is rough.[(((triple9) -> rule3))]