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