The cat chases the rabbit. The cat chases the squirrel. The cat is not green. The cat is rough. The cat does not see the rabbit. The cat visits the rabbit. The cat visits the squirrel. The rabbit is cold. The rabbit visits the cat. The rabbit visits the squirrel. The squirrel chases the rabbit. The squirrel is nice. The squirrel sees the cat. The squirrel sees the rabbit. The squirrel visits the rabbit. If the cat is round and the rabbit does not chase the cat then the rabbit visits the cat. If something chases the rabbit and it visits the rabbit then it visits the squirrel. If the squirrel chases the cat then the cat visits the rabbit. If something visits the squirrel and it is rough then it is not green. If something visits the cat then it sees the squirrel. If something visits the squirrel and it is not green then the squirrel visits the cat.
The cat is rough.
@0: The cat chases the rabbit.[(triple1)] The cat chases the squirrel.[(triple2)] The cat does not see the rabbit.[(triple5)] The cat is not green.[(triple3 OR ((triple7 triple4) -> rule4) OR ((((triple1 triple6) -> rule2) triple4) -> rule4))] The cat is rough.[(triple4)] The cat visits the rabbit.[(triple6)] The cat visits the squirrel.[(triple7 OR ((triple1 triple6) -> rule2))] The rabbit is cold.[(triple8)] The rabbit visits the cat.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel chases the rabbit.[(triple11)] The squirrel is nice.[(triple12)] The squirrel sees the cat.[(triple13)] The squirrel sees the rabbit.[(triple14)] The squirrel visits the rabbit.[(triple15)] @1: The rabbit sees the squirrel.[(((triple9) -> rule5))] The squirrel visits the cat.[(((triple7 triple3) -> rule6) OR ((triple7 ((triple7 triple4) -> rule4)) -> rule6) OR ((((triple1 triple6) -> rule2) triple3) -> rule6) OR ((((triple1 triple6) -> rule2) ((triple7 triple4) -> rule4)) -> rule6) OR ((triple7 ((((triple1 triple6) -> rule2) triple4) -> rule4)) -> rule6) OR ((((triple1 triple6) -> rule2) ((((triple1 triple6) -> rule2) triple4) -> rule4)) -> rule6))] The squirrel visits the squirrel.[(((triple11 triple15) -> rule2))] @2: The squirrel sees the squirrel.[(((((triple7 triple3) -> rule6)) -> rule5) OR ((((triple7 ((triple7 triple4) -> rule4)) -> rule6)) -> rule5) OR ((((((triple1 triple6) -> rule2) triple3) -> rule6)) -> rule5) OR ((((((triple1 triple6) -> rule2) ((triple7 triple4) -> rule4)) -> rule6)) -> rule5) OR ((((triple7 ((((triple1 triple6) -> rule2) triple4) -> rule4)) -> rule6)) -> rule5) OR ((((((triple1 triple6) -> rule2) ((((triple1 triple6) -> rule2) triple4) -> rule4)) -> rule6)) -> rule5))]