The bald eagle chases the dog. The bear is not cold. The dog is blue. The lion visits the dog. If someone visits the dog then the dog visits the lion. If someone visits the dog and the dog visits the bald eagle then the dog likes the bald eagle. If someone visits the lion then the lion visits the bear. If someone visits the bear then the bear visits the lion. If the dog chases the lion then the dog chases the bear. If someone chases the bear and they are not big then they do not like the lion. If someone chases the bald eagle and they do not like the bald eagle then they chase the lion. If someone is big and they chase the lion then the lion chases the dog.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The dog is blue.
("dog" "is" "blue" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If someone visits the dog then the dog visits the lion.
((("someone" "visits" "dog" "+")) -> ("dog" "visits" "lion" "+"))
If someone visits the dog and the dog visits the bald eagle then the dog likes the bald eagle.
((("someone" "visits" "dog" "+") ("dog" "visits" "bald eagle" "+")) -> ("dog" "likes" "bald eagle" "+"))
If someone visits the lion then the lion visits the bear.
((("someone" "visits" "lion" "+")) -> ("lion" "visits" "bear" "+"))
If someone visits the bear then the bear visits the lion.
((("someone" "visits" "bear" "+")) -> ("bear" "visits" "lion" "+"))
If the dog chases the lion then the dog chases the bear.
((("dog" "chases" "lion" "+")) -> ("dog" "chases" "bear" "+"))
If someone chases the bear and they are not big then they do not like the lion.
((("someone" "chases" "bear" "+") ("someone" "is" "big" "~")) -> ("someone" "likes" "lion" "-"))
If someone chases the bald eagle and they do not like the bald eagle then they chase the lion.
((("someone" "chases" "bald eagle" "+") ("someone" "likes" "bald eagle" "~")) -> ("someone" "chases" "lion" "+"))
If someone is big and they chase the lion then the lion chases the dog.
((("someone" "is" "big" "+") ("someone" "chases" "lion" "+")) -> ("lion" "chases" "dog" "+"))
The lion visits the dog.
True
1
proof
[(triple4)]
("lion" "visits" "dog" "+")
triple4
The bear is cold.
False
1
inv-proof
[(triple2)]
("bear" "is" "cold" "+")
triple2
The dog visits the lion.
True
2
proof
[(((triple4) -> rule1))]
("dog" "visits" "lion" "+")
((triple4) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The dog does not visit the lion.
False
2
inv-proof
[(((triple4) -> rule1))]
("dog" "visits" "lion" "-")
((triple4) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The lion visits the bear.
True
3
proof
[(((((triple4) -> rule1)) -> rule3))]
("lion" "visits" "bear" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The lion does not visit the bear.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule3))]
("lion" "visits" "bear" "-")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The bear visits the lion.
True
4
proof
[(((((((triple4) -> rule1)) -> rule3)) -> rule4))]
("bear" "visits" "lion" "+")
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The bear does not visit the lion.
False
4
inv-proof
[(((((((triple4) -> rule1)) -> rule3)) -> rule4))]
("bear" "visits" "lion" "-")
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3
The bear does not chase the lion.
Unknown
inv-rconc
[@1: The bear chases the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "chases" "lion" "-")
The lion chases the lion.
Unknown
rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "chases" "lion" "+")
The lion does not chase the dog.
Unknown
inv-rconc
[@1: The lion chases the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "chases" "dog" "-")
The dog chases the bear.
Unknown
rconc
[@2: The dog chases the bear.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("dog" "chases" "bear" "+")
The bald eagle does not visit the dog.
Unknown
inv-random
[@0: The bald eagle visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "dog" "-")
The bear visits the bald eagle.
Unknown
random
[@0: The bear visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bald eagle" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
@0: The bald eagle chases the dog.[(triple1)] The bear is not cold.[(triple2)] The dog is blue.[(triple3)] The lion visits the dog.[(triple4)] @1: The dog visits the lion.[(((triple4) -> rule1))] @2: The lion visits the bear.[(((((triple4) -> rule1)) -> rule3))] @3: The bear visits the lion.[(((((((triple4) -> rule1)) -> rule3)) -> rule4))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bear is not cold.
("bear" "is" "cold" "-")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The lion visits the dog.
("lion" "visits" "dog" "+")
triple4
The dog visits the lion.
("dog" "visits" "lion" "+")
((triple4) -> (rule1 % int1))
The dog visits the lion.
("dog" "visits" "lion" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
((((triple4) -> (rule1 % int2))) -> (rule3 % int1))
The lion visits the bear.
("lion" "visits" "bear" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
int2
The bear visits the lion.
("bear" "visits" "lion" "+")
((((((triple4) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
The bear visits the lion.
("bear" "visits" "lion" "+")
int1
The lion visits the bear.
("lion" "visits" "bear" "+")
int2
The dog visits the lion.
("dog" "visits" "lion" "+")
int3