The cat chases the rabbit. The cat is big. The cat is green. The cat is kind. The cat is rough. The cat visits the mouse. The cat visits the rabbit. The mouse is big. The mouse likes the squirrel. The mouse visits the cat. The mouse visits the squirrel. The rabbit chases the squirrel. The rabbit likes the cat. The rabbit visits the squirrel. The squirrel chases the cat. The squirrel visits the rabbit. If someone chases the squirrel and they chase the cat then the cat likes the rabbit. If someone is rough and kind then they chase the squirrel. If someone is green and they visit the mouse then the mouse is cold. If someone is cold and they visit the cat then the cat likes the mouse. If someone visits the mouse and the mouse likes the squirrel then they like the squirrel. If someone is kind and they like the rabbit then the rabbit visits the cat. If someone likes the cat and they chase the mouse then the mouse likes the squirrel. If someone is rough and they like the mouse then they chase the cat. If someone visits the cat then they chase the cat.
The cat does not like the mouse.
@0: The cat chases the rabbit.[(triple1)] The cat is big.[(triple2)] The cat is green.[(triple3)] The cat is kind.[(triple4)] The cat is rough.[(triple5)] The cat visits the mouse.[(triple6)] The cat visits the rabbit.[(triple7)] The mouse is big.[(triple8)] The mouse likes the squirrel.[(triple9)] The mouse visits the cat.[(triple10)] The mouse visits the squirrel.[(triple11)] The rabbit chases the squirrel.[(triple12)] The rabbit likes the cat.[(triple13)] The rabbit visits the squirrel.[(triple14)] The squirrel chases the cat.[(triple15)] The squirrel visits the rabbit.[(triple16)] @1: The cat chases the squirrel.[(((triple5 triple4) -> rule2))] The cat likes the squirrel.[(((triple6 triple9) -> rule5))] The mouse chases the cat.[(((triple10) -> rule9))] The mouse is cold.[(((triple3 triple6) -> rule3))] @2: The cat likes the mouse.[(((((triple3 triple6) -> rule3) triple10) -> rule4))] @3: The cat chases the cat.[(((triple5 ((((triple3 triple6) -> rule3) triple10) -> rule4)) -> rule8))] @4: The cat likes the rabbit.[(((((triple5 triple4) -> rule2) ((triple5 ((((triple3 triple6) -> rule3) triple10) -> rule4)) -> rule8)) -> rule1))] @5: The rabbit visits the cat.[(((triple4 ((((triple5 triple4) -> rule2) ((triple5 ((((triple3 triple6) -> rule3) triple10) -> rule4)) -> rule8)) -> rule1)) -> rule6))] @6: The rabbit chases the cat.[(((((triple4 ((((triple5 triple4) -> rule2) ((triple5 ((((triple3 triple6) -> rule3) triple10) -> rule4)) -> rule8)) -> rule1)) -> rule6)) -> rule9))]