The cat is red. The cat is rough. The mouse likes the cat. The mouse sees the cat. The mouse sees the squirrel. The mouse visits the cat. The rabbit is green. The rabbit does not like the mouse. The squirrel is rough. The squirrel likes the mouse. The squirrel likes the rabbit. The squirrel visits the cat. If something likes the rabbit and it is not red then it is not rough. If the mouse likes the squirrel then the mouse is green. If something likes the cat then the cat is not green. If something sees the squirrel and it visits the rabbit then it likes the squirrel. If the rabbit sees the squirrel and the mouse does not see the rabbit then the mouse sees the cat. If something is red then it visits the rabbit. If something visits the squirrel and it does not visit the mouse then the squirrel visits the rabbit. Red, round things are not young.
The mouse is red.
@0: The cat is red.[(triple1)] The cat is rough.[(triple2)] The mouse likes the cat.[(triple3)] The mouse sees the cat.[(triple4)] The mouse sees the squirrel.[(triple5)] The mouse visits the cat.[(triple6)] The rabbit does not like the mouse.[(triple8)] The rabbit is green.[(triple7)] The squirrel is rough.[(triple9)] The squirrel likes the mouse.[(triple10)] The squirrel likes the rabbit.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The cat is not green.[(((triple3) -> rule3))] The cat visits the rabbit.[(((triple1) -> rule6))]