The bear eats the cat. The bear is nice. The bear is rough. The bear likes the cat. The bear visits the cat. The cat eats the bear. The cat is big. The cat is kind. The cat is nice. The cat is rough. The cat likes the bear. The cat visits the bear. If someone eats the cat and they are rough then they are nice.
The bear is big.
@0: The bear eats the cat.[(triple1)] The bear is nice.[(triple2 OR ((triple1 triple3) -> rule1))] The bear is rough.[(triple3)] The bear likes the cat.[(triple4)] The bear visits the cat.[(triple5)] The cat eats the bear.[(triple6)] The cat is big.[(triple7)] The cat is kind.[(triple8)] The cat is nice.[(triple9)] The cat is rough.[(triple10)] The cat likes the bear.[(triple11)] The cat visits the bear.[(triple12)]