The cat is not rough. The lion chases the tiger. The lion is kind. The lion sees the cat. The lion sees the tiger. The lion visits the tiger. The tiger is big. The tiger is rough. The tiger is round. The tiger sees the cat. If something sees the lion then it is not round. If something is rough then it visits the cat. If the cat visits the lion and the cat does not visit the tiger then the tiger does not visit the cat. If the lion is green and the lion visits the tiger then the tiger does not chase the cat. If something visits the lion then it does not chase the lion. If something sees the tiger then the tiger sees the cat.
The cat is rough.
@0: The cat is not rough.[(triple1)] The lion chases the tiger.[(triple2)] The lion is kind.[(triple3)] The lion sees the cat.[(triple4)] The lion sees the tiger.[(triple5)] The lion visits the tiger.[(triple6)] The tiger is big.[(triple7)] The tiger is rough.[(triple8)] The tiger is round.[(triple9)] The tiger sees the cat.[(triple10 OR ((triple5) -> rule6))] @1: The tiger visits the cat.[(((triple8) -> rule2))]