The bald eagle chases the dog. The bald eagle eats the dog. The bald eagle is nice. The bald eagle is round. The dog chases the lion. The dog eats the lion. The dog is blue. The dog is round. The dog visits the bald eagle. The lion visits the dog. If something chases the dog then it visits the lion.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is round.
("dog" "is" "round" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If something chases the dog then it visits the lion.
((("something" "chases" "dog" "+")) -> ("something" "visits" "lion" "+"))
The lion visits the dog.
True
1
proof
[(triple10)]
("lion" "visits" "dog" "+")
triple10
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "dog" "-")
triple2
The bald eagle visits the lion.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "visits" "lion" "+")
((triple1) -> (rule1 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The bald eagle does not visit the lion.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "visits" "lion" "-")
((triple1) -> (rule1 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1
The dog does not visit the lion.
Unknown
inv-rconc
[@1: The dog visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "visits" "lion" "-")
The lion visits the lion.
Unknown
rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "lion" "+")
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The lion eats the dog.
Unknown
random
[@0: The lion eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "dog" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is round.[(triple4)] The dog chases the lion.[(triple5)] The dog eats the lion.[(triple6)] The dog is blue.[(triple7)] The dog is round.[(triple8)] The dog visits the bald eagle.[(triple9)] The lion visits the dog.[(triple10)] @1: The bald eagle visits the lion.[(((triple1) -> rule1))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple4
The dog chases the lion.
("dog" "chases" "lion" "+")
triple5
The dog eats the lion.
("dog" "eats" "lion" "+")
triple6
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple9
The lion visits the dog.
("lion" "visits" "dog" "+")
triple10
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((triple1) -> (rule1 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1