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