The bald eagle visits the lion. The cat visits the lion. The dog needs the lion. The lion likes the dog. If someone likes the bald eagle then they need the cat. If someone likes the lion and they like the cat then the cat visits the lion. If the cat is big then the cat is rough. If someone visits the lion then they like the dog. If someone needs the lion then they are red. If someone needs the dog then they need the cat.
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
If someone likes the bald eagle then they need the cat.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "needs" "cat" "+"))
If someone likes the lion and they like the cat then the cat visits the lion.
((("someone" "likes" "lion" "+") ("someone" "likes" "cat" "+")) -> ("cat" "visits" "lion" "+"))
If the cat is big then the cat is rough.
((("cat" "is" "big" "+")) -> ("cat" "is" "rough" "+"))
If someone visits the lion then they like the dog.
((("someone" "visits" "lion" "+")) -> ("someone" "likes" "dog" "+"))
If someone needs the lion then they are red.
((("someone" "needs" "lion" "+")) -> ("someone" "is" "red" "+"))
If someone needs the dog then they need the cat.
((("someone" "needs" "dog" "+")) -> ("someone" "needs" "cat" "+"))
The lion likes the dog.
True
1
proof
[(triple4)]
("lion" "likes" "dog" "+")
triple4
The lion does not like the dog.
False
1
inv-proof
[(triple4)]
("lion" "likes" "dog" "-")
triple4
The dog is red.
True
2
proof
[(((triple3) -> rule5))]
("dog" "is" "red" "+")
((triple3) -> (rule5 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog is not red.
False
2
inv-proof
[(((triple3) -> rule5))]
("dog" "is" "red" "-")
((triple3) -> (rule5 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The bald eagle is not red.
Unknown
inv-rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "red" "-")
The cat is red.
Unknown
rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "red" "+")
The cat does not need the lion.
Unknown
inv-random
[@0: The cat needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "lion" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
@0: The bald eagle visits the lion.[(triple1)] The cat visits the lion.[(triple2)] The dog needs the lion.[(triple3)] The lion likes the dog.[(triple4)] @1: The bald eagle likes the dog.[(((triple1) -> rule4))] The cat likes the dog.[(((triple2) -> rule4))] The dog is red.[(((triple3) -> rule5))]
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple1
The cat visits the lion.
("cat" "visits" "lion" "+")
triple2
The dog needs the lion.
("dog" "needs" "lion" "+")
triple3
The lion likes the dog.
("lion" "likes" "dog" "+")
triple4
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((triple1) -> (rule4 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The cat likes the dog.
("cat" "likes" "dog" "+")
((triple2) -> (rule4 % int1))
The cat likes the dog.
("cat" "likes" "dog" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((triple3) -> (rule5 % int1))
The dog is red.
("dog" "is" "red" "+")
int1