The cat is big. The cat is kind. The cat is round. The mouse chases the cat. The mouse chases the tiger. The mouse is green. The mouse is kind. The mouse sees the cat. The mouse visits the tiger. The tiger chases the mouse. The tiger is big. The tiger is cold. The tiger is round. The tiger visits the cat. The tiger visits the mouse. If someone is big then they see the cat. If someone sees the cat and they see the mouse then the cat chases the mouse. If the cat sees the tiger then the tiger is kind. If someone is big and they chase the mouse then they visit the mouse. If someone visits the tiger then they chase the cat. If someone chases the tiger then the tiger chases the cat.
The cat is kind.
@0: The cat is big.[(triple1)] The cat is kind.[(triple2)] The cat is round.[(triple3)] The mouse chases the cat.[(triple4 OR ((triple9) -> rule5))] The mouse chases the tiger.[(triple5)] The mouse is green.[(triple6)] The mouse is kind.[(triple7)] The mouse sees the cat.[(triple8)] The mouse visits the tiger.[(triple9)] The tiger chases the mouse.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)] The tiger is round.[(triple13)] The tiger visits the cat.[(triple14)] The tiger visits the mouse.[(triple15 OR ((triple11 triple10) -> rule4))] @1: The cat sees the cat.[(((triple1) -> rule1))] The tiger chases the cat.[(((triple5) -> rule6))] The tiger sees the cat.[(((triple11) -> rule1))]