The cat eats the rabbit. The cat is green. The cat is kind. The cat is rough. The cat is round. The cat likes the rabbit. The cat visits the rabbit. The rabbit eats the cat. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit likes the cat. The rabbit visits the cat. If something is kind then it visits the rabbit. If something is nice then it eats the cat. If something is round then it likes the cat. If something visits the cat and it visits the rabbit then the rabbit likes the cat. If the rabbit likes the cat then the cat is nice. All rough things are kind. If something likes the cat and it eats the cat then it visits the cat. If something is round and it likes the cat then the cat likes the rabbit.
The cat does not visit the cat.
@0: The cat eats the rabbit.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3 OR ((triple4) -> rule6))] The cat is rough.[(triple4)] The cat is round.[(triple5)] The cat likes the rabbit.[(triple6 OR ((triple13 triple14) -> rule8) OR ((triple13 ((triple13) -> rule3)) -> rule8) OR ((triple5 ((triple5) -> rule3)) -> rule8) OR ((triple13 ((triple15 ((triple10) -> rule1)) -> rule4)) -> rule8) OR ((triple13 ((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule8))] The cat visits the rabbit.[(triple7 OR ((triple3) -> rule1) OR ((((triple4) -> rule6)) -> rule1))] The rabbit eats the cat.[(triple8 OR ((triple11) -> rule2))] The rabbit is green.[(triple9)] The rabbit is kind.[(triple10 OR ((triple12) -> rule6))] The rabbit is nice.[(triple11)] The rabbit is rough.[(triple12)] The rabbit is round.[(triple13)] The rabbit likes the cat.[(triple14 OR ((triple13) -> rule3) OR ((triple15 ((triple10) -> rule1)) -> rule4) OR ((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4))] The rabbit visits the cat.[(triple15 OR ((triple14 triple8) -> rule7) OR ((triple14 ((triple11) -> rule2)) -> rule7) OR ((((triple13) -> rule3) triple8) -> rule7) OR ((((triple13) -> rule3) ((triple11) -> rule2)) -> rule7))] @1: The cat is nice.[(((triple14) -> rule5) OR ((((triple13) -> rule3)) -> rule5) OR ((((triple15 ((triple10) -> rule1)) -> rule4)) -> rule5) OR ((((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5))] The cat likes the cat.[(((triple5) -> rule3))] The rabbit visits the rabbit.[(((triple10) -> rule1) OR ((((triple12) -> rule6)) -> rule1))] @2: The cat eats the cat.[(((((triple14) -> rule5)) -> rule2) OR ((((((triple13) -> rule3)) -> rule5)) -> rule2) OR ((((((triple15 ((triple10) -> rule1)) -> rule4)) -> rule5)) -> rule2) OR ((((((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5)) -> rule2))] @3: The cat visits the cat.[(((((triple5) -> rule3) ((((triple14) -> rule5)) -> rule2)) -> rule7) OR ((((triple5) -> rule3) ((((((triple13) -> rule3)) -> rule5)) -> rule2)) -> rule7) OR ((((triple5) -> rule3) ((((((triple15 ((triple10) -> rule1)) -> rule4)) -> rule5)) -> rule2)) -> rule7) OR ((((triple5) -> rule3) ((((((triple15 ((((triple12) -> rule6)) -> rule1)) -> rule4)) -> rule5)) -> rule2)) -> rule7))]