The bald eagle chases the lion. The bald eagle is round. The bald eagle likes the dog. The bald eagle visits the dog. The bald eagle visits the lion. The dog chases the bald eagle. The dog is cold. The dog is round. The dog is young. The dog likes the bald eagle. The dog likes the lion. The dog visits the bald eagle. The lion chases the bald eagle. The lion chases the dog. The lion likes the dog. The lion visits the dog. If something visits the dog then it likes the lion. If something is kind and big then it chases the bald eagle. If something visits the lion and the lion is kind then the lion visits the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
If something visits the dog then it likes the lion.
((("something" "visits" "dog" "+")) -> ("something" "likes" "lion" "+"))
If something is kind and big then it chases the bald eagle.
((("something" "is" "kind" "+") ("something" "is" "big" "+")) -> ("something" "chases" "bald eagle" "+"))
If something visits the lion and the lion is kind then the lion visits the bald eagle.
((("something" "visits" "lion" "+") ("lion" "is" "kind" "+")) -> ("lion" "visits" "bald eagle" "+"))
The bald eagle chases the lion.
True
1
proof
[(triple1)]
("bald eagle" "chases" "lion" "+")
triple1
The dog is not young.
False
1
inv-proof
[(triple9)]
("dog" "is" "young" "-")
triple9
The lion likes the lion.
True
2
proof
[(((triple16) -> rule1))]
("lion" "likes" "lion" "+")
((triple16) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion does not like the lion.
False
2
inv-proof
[(((triple16) -> rule1))]
("lion" "likes" "lion" "-")
((triple16) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion does not visit the bald eagle.
Unknown
inv-rconc
[@1: The lion visits the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "visits" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
rconc
[@1: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
The lion is not kind.
Unknown
inv-random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "-")
The dog visits the lion.
Unknown
random
[@0: The dog visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "lion" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle likes the dog.[(triple3)] The bald eagle visits the dog.[(triple4)] The bald eagle visits the lion.[(triple5)] The dog chases the bald eagle.[(triple6)] The dog is cold.[(triple7)] The dog is round.[(triple8)] The dog is young.[(triple9)] The dog likes the bald eagle.[(triple10)] The dog likes the lion.[(triple11)] The dog visits the bald eagle.[(triple12)] The lion chases the bald eagle.[(triple13)] The lion chases the dog.[(triple14)] The lion likes the dog.[(triple15)] The lion visits the dog.[(triple16)] @1: The bald eagle likes the lion.[(((triple4) -> rule1))] The lion likes the lion.[(((triple16) -> rule1))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple3
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple6
The dog is cold.
("dog" "is" "cold" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple10
The dog likes the lion.
("dog" "likes" "lion" "+")
triple11
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple12
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple13
The lion chases the dog.
("lion" "chases" "dog" "+")
triple14
The lion likes the dog.
("lion" "likes" "dog" "+")
triple15
The lion visits the dog.
("lion" "visits" "dog" "+")
triple16
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
((triple4) -> (rule1 % int1))
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple16) -> (rule1 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1