The bear chases the cat. The bear sees the cat. The bear sees the tiger. The cat chases the tiger. The cat is nice. The cat is round. The cat likes the tiger. The cat sees the bear. The tiger chases the cat. The tiger likes the cat. If someone sees the tiger and the tiger sees the bear then the tiger sees the cat. If someone likes the tiger then they see the bear. If the bear likes the cat and the bear chases the cat then the cat likes the bear. If someone is rough then they chase the bear. If the bear is rough then the bear chases the cat. If someone is blue and they chase the bear then the bear is red. If someone likes the tiger and the tiger is nice then the tiger likes the bear. If someone chases the cat and they like the bear then they like the tiger.
The cat is nice.
@0: The bear chases the cat.[(triple1)] The bear sees the cat.[(triple2)] The bear sees the tiger.[(triple3)] The cat chases the tiger.[(triple4)] The cat is nice.[(triple5)] The cat is round.[(triple6)] The cat likes the tiger.[(triple7)] The cat sees the bear.[(triple8 OR ((triple7) -> rule2))] The tiger chases the cat.[(triple9)] The tiger likes the cat.[(triple10)]