The cat is blue. The dog likes the cat. The mouse eats the dog. The tiger eats the mouse. If someone needs the dog and they like the cat then they are not young. Green people are young. If someone likes the cat then the cat eats the mouse. If someone eats the dog then the dog eats the cat. If someone needs the cat and the cat is round then they are blue. If someone needs the cat and they are green then they like the tiger. If someone needs the tiger then they are nice. If someone likes the cat and the cat likes the dog then the dog likes the cat.
The cat is blue.
("cat" "is" "blue" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
If someone needs the dog and they like the cat then they are not young.
((("someone" "needs" "dog" "+") ("someone" "likes" "cat" "+")) -> ("someone" "is" "young" "-"))
Green people are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone likes the cat then the cat eats the mouse.
((("someone" "likes" "cat" "+")) -> ("cat" "eats" "mouse" "+"))
If someone eats the dog then the dog eats the cat.
((("someone" "eats" "dog" "+")) -> ("dog" "eats" "cat" "+"))
If someone needs the cat and the cat is round then they are blue.
((("someone" "needs" "cat" "+") ("cat" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone needs the cat and they are green then they like the tiger.
((("someone" "needs" "cat" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "tiger" "+"))
If someone needs the tiger then they are nice.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "nice" "+"))
If someone likes the cat and the cat likes the dog then the dog likes the cat.
((("someone" "likes" "cat" "+") ("cat" "likes" "dog" "+")) -> ("dog" "likes" "cat" "+"))
The dog likes the cat.
True
1
proof
[(triple2)]
("dog" "likes" "cat" "+")
triple2
The dog does not like the cat.
False
1
inv-proof
[(triple2)]
("dog" "likes" "cat" "-")
triple2
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "nice" "-")
The cat needs the dog.
Unknown
random
[@0: The cat needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "dog" "+")
@0: The cat is blue.[(triple1)] The dog likes the cat.[(triple2)] The mouse eats the dog.[(triple3)] The tiger eats the mouse.[(triple4)] @1: The cat eats the mouse.[(((triple2) -> rule3))] The dog eats the cat.[(((triple3) -> rule4))]
The cat is blue.
("cat" "is" "blue" "+")
triple1
The dog likes the cat.
("dog" "likes" "cat" "+")
triple2
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple3
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple4
The cat eats the mouse.
("cat" "eats" "mouse" "+")
((triple2) -> (rule3 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
((triple3) -> (rule4 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1