The cat chases the mouse. The cat eats the mouse. The cat is big. The cat is blue. The cat is cold. The cat is nice. The cat is rough. 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 nice. The mouse is rough. The mouse visits the cat. If someone is big and cold then they eat the mouse. If someone chases the cat and they eat the cat then the cat eats the mouse. If the mouse is cold then the mouse is rough. If someone eats the mouse then the mouse visits the cat. If someone is cold then they chase the mouse. If someone chases the mouse then they chase the cat. If someone eats the cat then they are nice. If someone chases the cat then the cat eats the mouse.
The cat is rough.
@0: The cat chases the mouse.[(triple1 OR ((triple5) -> rule5))] The cat eats the mouse.[(triple2 OR ((triple9) -> rule8) OR ((triple3 triple5) -> rule1) OR ((triple9 triple10) -> rule2) OR ((((triple1) -> rule6)) -> rule8) OR ((((((triple12) -> rule5)) -> rule6)) -> rule8) OR ((((((triple5) -> rule5)) -> rule6)) -> rule8) OR ((((((triple12) -> rule5)) -> rule6) triple10) -> rule2))] The cat is big.[(triple3)] The cat is blue.[(triple4)] The cat is cold.[(triple5)] The cat is nice.[(triple6)] The cat is rough.[(triple7)] The cat visits the mouse.[(triple8)] The mouse chases the cat.[(triple9 OR ((((triple12) -> rule5)) -> rule6))] The mouse eats the cat.[(triple10)] The mouse is blue.[(triple11)] The mouse is cold.[(triple12)] The mouse is nice.[(triple13 OR ((triple10) -> rule7))] The mouse is rough.[(triple14 OR ((triple12) -> rule3))] The mouse visits the cat.[(triple15 OR ((triple2) -> rule4) OR ((((triple9) -> rule8)) -> rule4) OR ((((triple3 triple5) -> rule1)) -> rule4) OR ((((triple9 triple10) -> rule2)) -> rule4) OR ((((((triple1) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple12) -> rule5)) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule5)) -> rule6)) -> rule8)) -> rule4) OR ((((((((triple12) -> rule5)) -> rule6) triple10) -> rule2)) -> rule4))] @1: The cat chases the cat.[(((triple1) -> rule6) OR ((((triple5) -> rule5)) -> rule6))] The mouse chases the mouse.[(((triple12) -> rule5))]