The bald eagle chases the dog. The bald eagle is blue. The bald eagle likes the dog. The bald eagle visits the dog. The dog chases the lion. The dog is kind. The dog visits the lion. The lion is cold. The lion is kind. The lion visits the dog. If someone is cold and they like the bald eagle then the bald eagle visits the lion. If the bald eagle chases the dog then the bald eagle visits the lion. If someone likes the dog then they are cold.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If someone is cold and they like the bald eagle then the bald eagle visits the lion.
((("someone" "is" "cold" "+") ("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "visits" "lion" "+"))
If the bald eagle chases the dog then the bald eagle visits the lion.
((("bald eagle" "chases" "dog" "+")) -> ("bald eagle" "visits" "lion" "+"))
If someone likes the dog then they are cold.
((("someone" "likes" "dog" "+")) -> ("someone" "is" "cold" "+"))
The lion visits the dog.
True
1
proof
[(triple10)]
("lion" "visits" "dog" "+")
triple10
The dog does not visit the lion.
False
1
inv-proof
[(triple7)]
("dog" "visits" "lion" "-")
triple7
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "cold" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle visits the dog.[(triple4)] The dog chases the lion.[(triple5)] The dog is kind.[(triple6)] The dog visits the lion.[(triple7)] The lion is cold.[(triple8)] The lion is kind.[(triple9)] The lion visits the dog.[(triple10)] @1: The bald eagle is cold.[(((triple3) -> rule3))] The bald eagle visits the lion.[(((triple1) -> rule2))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple4
The dog chases the lion.
("dog" "chases" "lion" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog visits the lion.
("dog" "visits" "lion" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple8
The lion is kind.
("lion" "is" "kind" "+")
triple9
The lion visits the dog.
("lion" "visits" "dog" "+")
triple10
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple3) -> (rule3 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
((triple1) -> (rule2 % int1))
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
int1