The cat is nice. The cat is red. The cat likes the mouse. The cat sees the mouse. The cat visits the mouse. The cat visits the rabbit. The mouse sees the cat. The rabbit is big. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit likes the cat. The rabbit sees the cat. The rabbit sees the mouse. The rabbit visits the cat. The rabbit visits the mouse. If someone visits the mouse then they visit the cat. If the rabbit sees the cat and the cat visits the mouse then the cat sees the rabbit. If someone visits the cat and the cat visits the mouse then the cat visits the rabbit. If someone sees the cat then they are red. If someone likes the cat then they like the rabbit. If someone is nice and they see the cat then the cat sees the rabbit. If someone likes the rabbit and they are nice then the rabbit sees the cat. If someone visits the cat then the cat visits the mouse.
The mouse does not like the rabbit.
@0: The cat is nice.[(triple1)] The cat is red.[(triple2)] The cat likes the mouse.[(triple3)] The cat sees the mouse.[(triple4)] The cat visits the mouse.[(triple5 OR ((triple15) -> rule8) OR ((((triple16) -> rule1)) -> rule8))] The cat visits the rabbit.[(triple6 OR ((triple15 triple5) -> rule3) OR ((triple15 ((triple15) -> rule8)) -> rule3) OR ((((triple16) -> rule1) triple5) -> rule3) OR ((((triple5) -> rule1) triple5) -> rule3) OR ((((triple16) -> rule1) ((triple15) -> rule8)) -> rule3) OR ((((triple5) -> rule1) ((triple15) -> rule8)) -> rule3) OR ((triple15 ((((triple16) -> rule1)) -> rule8)) -> rule3) OR ((((((triple15) -> rule8)) -> rule1) triple5) -> rule3) OR ((((triple16) -> rule1) ((((triple16) -> rule1)) -> rule8)) -> rule3) OR ((((triple5) -> rule1) ((((triple16) -> rule1)) -> rule8)) -> rule3) OR ((((((triple15) -> rule8)) -> rule1) ((triple15) -> rule8)) -> rule3) OR ((((((triple15) -> rule8)) -> rule1) ((((triple16) -> rule1)) -> rule8)) -> rule3) OR ((((((((triple16) -> rule1)) -> rule8)) -> rule1) triple5) -> rule3) OR ((((((((triple16) -> rule1)) -> rule8)) -> rule1) ((triple15) -> rule8)) -> rule3) OR ((((((((triple16) -> rule1)) -> rule8)) -> rule1) ((((triple16) -> rule1)) -> rule8)) -> rule3))] The mouse sees the cat.[(triple7)] The rabbit is big.[(triple8)] The rabbit is nice.[(triple9)] The rabbit is red.[(triple10 OR ((triple13) -> rule4) OR ((((((triple12) -> rule5) triple9) -> rule7)) -> rule4))] The rabbit is rough.[(triple11)] The rabbit likes the cat.[(triple12)] The rabbit sees the cat.[(triple13 OR ((((triple12) -> rule5) triple9) -> rule7))] The rabbit sees the mouse.[(triple14)] The rabbit visits the cat.[(triple15 OR ((triple16) -> rule1))] The rabbit visits the mouse.[(triple16)] @1: The cat sees the rabbit.[(((triple13 triple5) -> rule2) OR ((triple9 triple13) -> rule6) OR ((triple13 ((triple15) -> rule8)) -> rule2) OR ((triple13 ((((triple16) -> rule1)) -> rule8)) -> rule2) OR ((triple9 ((((triple12) -> rule5) triple9) -> rule7)) -> rule6) OR ((((((triple12) -> rule5) triple9) -> rule7) triple5) -> rule2) OR ((((((triple12) -> rule5) triple9) -> rule7) ((triple15) -> rule8)) -> rule2) OR ((((((triple12) -> rule5) triple9) -> rule7) ((((triple16) -> rule1)) -> rule8)) -> rule2))] The cat visits the cat.[(((triple5) -> rule1) OR ((((triple15) -> rule8)) -> rule1) OR ((((((triple16) -> rule1)) -> rule8)) -> rule1))] The mouse is red.[(((triple7) -> rule4))] The rabbit likes the rabbit.[(((triple12) -> rule5))]