The cat chases the mouse. The cat eats the mouse. The cat is blue. The cat is cold. The cat is kind. The cat is red. The cat visits the mouse. The mouse chases the cat. The mouse eats the cat. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is nice. The mouse is red. The mouse visits the cat. If something chases the cat then the cat chases the mouse. If the cat chases the mouse then the cat is blue.
The cat does not eat the cat.
@0: The cat chases the mouse.[(triple1 OR ((triple8) -> rule1))] The cat eats the mouse.[(triple2)] The cat is blue.[(triple3 OR ((triple1) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] The cat is cold.[(triple4)] The cat is kind.[(triple5)] The cat is red.[(triple6)] The cat visits the mouse.[(triple7)] The mouse chases the cat.[(triple8)] The mouse eats the cat.[(triple9)] The mouse is blue.[(triple10)] The mouse is cold.[(triple11)] The mouse is kind.[(triple12)] The mouse is nice.[(triple13)] The mouse is red.[(triple14)] The mouse visits the cat.[(triple15)]