The bear needs the cat. The bear needs the rabbit. The bear sees the rabbit. The bear visits the rabbit. The bear visits the tiger. The cat needs the rabbit. The cat needs the tiger. The rabbit is blue. The rabbit is kind. The rabbit is round. The rabbit needs the bear. The rabbit sees the cat. The tiger is kind. The tiger needs the cat. If something visits the tiger and the tiger needs the rabbit then it is big. If something needs the tiger then the tiger sees the rabbit. If something sees the rabbit then it is round. If the tiger is round and the tiger visits the rabbit then the tiger needs the rabbit. If something is round then it visits the rabbit. If something needs the rabbit then it needs the cat. If the tiger is blue then the tiger visits the bear. If something needs the tiger and the tiger sees the rabbit then the tiger is round. If the rabbit is big and the cat does not visit the rabbit then the cat is not green.
The bear does not visit the tiger.
@0: The bear needs the cat.[(triple1 OR ((triple2) -> rule6))] The bear needs the rabbit.[(triple2)] The bear sees the rabbit.[(triple3)] The bear visits the rabbit.[(triple4 OR ((((triple3) -> rule3)) -> rule5))] The bear visits the tiger.[(triple5)] The cat needs the rabbit.[(triple6)] The cat needs the tiger.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is kind.[(triple9)] The rabbit is round.[(triple10)] The rabbit needs the bear.[(triple11)] The rabbit sees the cat.[(triple12)] The tiger is kind.[(triple13)] The tiger needs the cat.[(triple14 OR ((((((((triple7) -> rule2)) -> rule3) ((((((triple7) -> rule2)) -> rule3)) -> rule5)) -> rule4)) -> rule6) OR ((((((((triple7) -> rule2)) -> rule3) ((((triple7 ((triple7) -> rule2)) -> rule8)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple7 ((triple7) -> rule2)) -> rule8) ((((((triple7) -> rule2)) -> rule3)) -> rule5)) -> rule4)) -> rule6) OR ((((((triple7 ((triple7) -> rule2)) -> rule8) ((((triple7 ((triple7) -> rule2)) -> rule8)) -> rule5)) -> rule4)) -> rule6))] @1: The bear is round.[(((triple3) -> rule3))] The cat needs the cat.[(((triple6) -> rule6))] The rabbit visits the rabbit.[(((triple10) -> rule5))] The tiger sees the rabbit.[(((triple7) -> rule2))] @2: The tiger is round.[(((((triple7) -> rule2)) -> rule3) OR ((triple7 ((triple7) -> rule2)) -> rule8))] @3: The tiger visits the rabbit.[(((((((triple7) -> rule2)) -> rule3)) -> rule5) OR ((((triple7 ((triple7) -> rule2)) -> rule8)) -> rule5))] @4: The tiger needs the rabbit.[(((((((triple7) -> rule2)) -> rule3) ((((((triple7) -> rule2)) -> rule3)) -> rule5)) -> rule4) OR ((((((triple7) -> rule2)) -> rule3) ((((triple7 ((triple7) -> rule2)) -> rule8)) -> rule5)) -> rule4) OR ((((triple7 ((triple7) -> rule2)) -> rule8) ((((((triple7) -> rule2)) -> rule3)) -> rule5)) -> rule4) OR ((((triple7 ((triple7) -> rule2)) -> rule8) ((((triple7 ((triple7) -> rule2)) -> rule8)) -> rule5)) -> rule4))] @5: The bear is big.[(((triple5 ((((((triple7) -> rule2)) -> rule3) ((((((triple7) -> rule2)) -> rule3)) -> rule5)) -> rule4)) -> rule1) OR ((triple5 ((((((triple7) -> rule2)) -> rule3) ((((triple7 ((triple7) -> rule2)) -> rule8)) -> rule5)) -> rule4)) -> rule1) OR ((triple5 ((((triple7 ((triple7) -> rule2)) -> rule8) ((((((triple7) -> rule2)) -> rule3)) -> rule5)) -> rule4)) -> rule1) OR ((triple5 ((((triple7 ((triple7) -> rule2)) -> rule8) ((((triple7 ((triple7) -> rule2)) -> rule8)) -> rule5)) -> rule4)) -> rule1))]