The bear chases the cow. The bear is big. The bear is cold. The bear is red. The cow chases the bear. The cow eats the bear. The cow is big. The cow is kind. The cow is nice. The cow needs the bear. If someone is cold then they chase the cow. If someone chases the bear and they eat the bear then they are nice.
The bear is not nice.
@0: The bear chases the cow.[(triple1 OR ((triple3) -> rule1))] The bear is big.[(triple2)] The bear is cold.[(triple3)] The bear is red.[(triple4)] The cow chases the bear.[(triple5)] The cow eats the bear.[(triple6)] The cow is big.[(triple7)] The cow is kind.[(triple8)] The cow is nice.[(triple9 OR ((triple5 triple6) -> rule2))] The cow needs the bear.[(triple10)]