The bald eagle sees the cat. The cat likes the bald eagle. The cat likes the lion. The cat sees the lion. The dog chases the bald eagle. The dog chases the cat. The dog is big. The dog likes the bald eagle. The dog likes the cat. The dog sees the bald eagle. The lion likes the bald eagle. The lion likes the dog. If someone sees the lion then the lion sees the cat. If someone sees the lion and the lion chases the dog then the lion is blue. If someone sees the dog then they chase the dog. If someone sees the bald eagle then they are green. If someone is rough then they see the lion. If someone sees the lion then the lion sees the dog.
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
If someone sees the lion then the lion sees the cat.
((("someone" "sees" "lion" "+")) -> ("lion" "sees" "cat" "+"))
If someone sees the lion and the lion chases the dog then the lion is blue.
((("someone" "sees" "lion" "+") ("lion" "chases" "dog" "+")) -> ("lion" "is" "blue" "+"))
If someone sees the dog then they chase the dog.
((("someone" "sees" "dog" "+")) -> ("someone" "chases" "dog" "+"))
If someone sees the bald eagle then they are green.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they see the lion.
((("someone" "is" "rough" "+")) -> ("someone" "sees" "lion" "+"))
If someone sees the lion then the lion sees the dog.
((("someone" "sees" "lion" "+")) -> ("lion" "sees" "dog" "+"))
The lion likes the bald eagle.
True
1
proof
[(triple11)]
("lion" "likes" "bald eagle" "+")
triple11
The dog does not chase the bald eagle.
False
1
inv-proof
[(triple5)]
("dog" "chases" "bald eagle" "-")
triple5
The lion sees the dog.
True
2
proof
[(((triple4) -> rule6))]
("lion" "sees" "dog" "+")
((triple4) -> (rule6 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion does not see the cat.
False
2
inv-proof
[(((triple4) -> rule1))]
("lion" "sees" "cat" "-")
((triple4) -> (rule1 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The lion does not see the lion.
Unknown
inv-rconc
[@1: The lion sees the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "sees" "lion" "-")
The cat is green.
Unknown
rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "green" "+")
The lion does not like the cat.
Unknown
inv-random
[@0: The lion likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cat" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The bald eagle sees the cat.[(triple1)] The cat likes the bald eagle.[(triple2)] The cat likes the lion.[(triple3)] The cat sees the lion.[(triple4)] The dog chases the bald eagle.[(triple5)] The dog chases the cat.[(triple6)] The dog is big.[(triple7)] The dog likes the bald eagle.[(triple8)] The dog likes the cat.[(triple9)] The dog sees the bald eagle.[(triple10)] The lion likes the bald eagle.[(triple11)] The lion likes the dog.[(triple12)] @1: The dog is green.[(((triple10) -> rule4))] The lion sees the cat.[(((triple4) -> rule1))] The lion sees the dog.[(((triple4) -> rule6))] @2: The lion chases the dog.[(((((triple4) -> rule6)) -> rule3))] @3: The lion is blue.[(((triple4 ((((triple4) -> rule6)) -> rule3)) -> rule2))]
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple1
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple2
The cat likes the lion.
("cat" "likes" "lion" "+")
triple3
The cat sees the lion.
("cat" "sees" "lion" "+")
triple4
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple5
The dog chases the cat.
("dog" "chases" "cat" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple8
The dog likes the cat.
("dog" "likes" "cat" "+")
triple9
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple10
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple11
The lion likes the dog.
("lion" "likes" "dog" "+")
triple12
The dog is green.
("dog" "is" "green" "+")
((triple10) -> (rule4 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The lion sees the cat.
("lion" "sees" "cat" "+")
((triple4) -> (rule1 % int1))
The lion sees the cat.
("lion" "sees" "cat" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
((triple4) -> (rule6 % int1))
The lion sees the dog.
("lion" "sees" "dog" "+")
int1
The lion chases the dog.
("lion" "chases" "dog" "+")
((((triple4) -> (rule6 % int2))) -> (rule3 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1
The lion sees the dog.
("lion" "sees" "dog" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
((triple4 ((((triple4) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion chases the dog.
("lion" "chases" "dog" "+")
int2
The lion sees the dog.
("lion" "sees" "dog" "+")
int3