The cat chases the rabbit. The cat is kind. The cat is rough. The cat visits the rabbit. The rabbit chases the tiger. The rabbit is rough. The rabbit sees the tiger. The rabbit visits the cat. The rabbit does not visit the tiger. The tiger chases the cat. The tiger is kind. The tiger sees the cat. The tiger sees the rabbit. The tiger visits the cat. The tiger visits the rabbit. If something is young then it does not see the rabbit. If something sees the rabbit then it sees the tiger. If the tiger does not see the cat and the cat does not see the tiger then the tiger is not blue.
The tiger does not visit the cat.
@0: The cat chases the rabbit.[(triple1)] The cat is kind.[(triple2)] The cat is rough.[(triple3)] The cat visits the rabbit.[(triple4)] The rabbit chases the tiger.[(triple5)] The rabbit does not visit the tiger.[(triple9)] The rabbit is rough.[(triple6)] The rabbit sees the tiger.[(triple7)] The rabbit visits the cat.[(triple8)] The tiger chases the cat.[(triple10)] The tiger is kind.[(triple11)] The tiger sees the cat.[(triple12)] The tiger sees the rabbit.[(triple13)] The tiger visits the cat.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The tiger sees the tiger.[(((triple13) -> rule2))]