The dog is blue. The dog visits the lion. The lion is big. The lion is nice. The lion visits the dog. The lion visits the rabbit. The rabbit needs the dog. The rabbit needs the tiger. The rabbit visits the tiger. The tiger is big. The tiger needs the dog. The tiger sees the dog. If someone sees the dog then they visit the lion. If someone visits the rabbit and the rabbit needs the lion then the lion needs the tiger. If the dog is big and the dog sees the rabbit then the rabbit visits the tiger. If the tiger sees the rabbit and the tiger is big then the tiger is nice. If the rabbit visits the tiger then the rabbit is rough. If the tiger needs the dog then the dog needs the tiger.
The dog is blue.
("dog" "is" "blue" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If someone sees the dog then they visit the lion.
((("someone" "sees" "dog" "+")) -> ("someone" "visits" "lion" "+"))
If someone visits the rabbit and the rabbit needs the lion then the lion needs the tiger.
((("someone" "visits" "rabbit" "+") ("rabbit" "needs" "lion" "+")) -> ("lion" "needs" "tiger" "+"))
If the dog is big and the dog sees the rabbit then the rabbit visits the tiger.
((("dog" "is" "big" "+") ("dog" "sees" "rabbit" "+")) -> ("rabbit" "visits" "tiger" "+"))
If the tiger sees the rabbit and the tiger is big then the tiger is nice.
((("tiger" "sees" "rabbit" "+") ("tiger" "is" "big" "+")) -> ("tiger" "is" "nice" "+"))
If the rabbit visits the tiger then the rabbit is rough.
((("rabbit" "visits" "tiger" "+")) -> ("rabbit" "is" "rough" "+"))
If the tiger needs the dog then the dog needs the tiger.
((("tiger" "needs" "dog" "+")) -> ("dog" "needs" "tiger" "+"))
The lion visits the rabbit.
True
1
proof
[(triple6)]
("lion" "visits" "rabbit" "+")
triple6
The lion does not visit the rabbit.
False
1
inv-proof
[(triple6)]
("lion" "visits" "rabbit" "-")
triple6
The rabbit does not visit the lion.
Unknown
inv-rconc
[@1: The rabbit visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "lion" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The dog is blue.[(triple1)] The dog visits the lion.[(triple2)] The lion is big.[(triple3)] The lion is nice.[(triple4)] The lion visits the dog.[(triple5)] The lion visits the rabbit.[(triple6)] The rabbit needs the dog.[(triple7)] The rabbit needs the tiger.[(triple8)] The rabbit visits the tiger.[(triple9)] The tiger is big.[(triple10)] The tiger needs the dog.[(triple11)] The tiger sees the dog.[(triple12)] @1: The dog needs the tiger.[(((triple11) -> rule6))] The rabbit is rough.[(((triple9) -> rule5))] The tiger visits the lion.[(((triple12) -> rule1))]
The dog is blue.
("dog" "is" "blue" "+")
triple1
The dog visits the lion.
("dog" "visits" "lion" "+")
triple2
The lion is big.
("lion" "is" "big" "+")
triple3
The lion is nice.
("lion" "is" "nice" "+")
triple4
The lion visits the dog.
("lion" "visits" "dog" "+")
triple5
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple6
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple7
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple8
The rabbit visits the tiger.
("rabbit" "visits" "tiger" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple11
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple12
The dog needs the tiger.
("dog" "needs" "tiger" "+")
((triple11) -> (rule6 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple9) -> (rule5 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The tiger visits the lion.
("tiger" "visits" "lion" "+")
((triple12) -> (rule1 % int1))
The tiger visits the lion.
("tiger" "visits" "lion" "+")
int1