The bald eagle chases the tiger. The lion likes the bald eagle. The tiger visits the bald eagle. If someone likes the bald eagle then they chase the bald eagle. If someone is rough then they visit the tiger. If someone is kind then they chase the tiger.
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
If someone likes the bald eagle then they chase the bald eagle.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is rough then they visit the tiger.
((("someone" "is" "rough" "+")) -> ("someone" "visits" "tiger" "+"))
If someone is kind then they chase the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "tiger" "+"))
The bald eagle chases the tiger.
True
1
proof
[(triple1)]
("bald eagle" "chases" "tiger" "+")
triple1
The bald eagle does not chase the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "tiger" "-")
triple1
The lion chases the bald eagle.
True
2
proof
[(((triple2) -> rule1))]
("lion" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion does not chase the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1))]
("lion" "chases" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The tiger does not chase the bald eagle.
Unknown
inv-rconc
[@1: The tiger chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "chases" "bald eagle" "-")
The bald eagle visits the tiger.
Unknown
rconc
[@1: The bald eagle visits the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "visits" "tiger" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
@0: The bald eagle chases the tiger.[(triple1)] The lion likes the bald eagle.[(triple2)] The tiger visits the bald eagle.[(triple3)] @1: The lion chases the bald eagle.[(((triple2) -> rule1))]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple2
The tiger visits the bald eagle.
("tiger" "visits" "bald eagle" "+")
triple3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1