The bald eagle eats the lion. The bald eagle is red. The bald eagle does not visit the lion. The dog is rough. The dog does not need the bald eagle. The dog visits the lion. The lion does not eat the bald eagle. The lion eats the mouse. The lion is red. The lion does not need the dog. The lion visits the dog. The mouse does not eat the bald eagle. If someone eats the mouse then they visit the lion. If someone eats the bald eagle and they eat the dog then the bald eagle is rough. If someone is rough then they do not need the mouse.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
The dog is rough.
("dog" "is" "rough" "+")
The dog does not need the bald eagle.
("dog" "needs" "bald eagle" "-")
The dog visits the lion.
("dog" "visits" "lion" "+")
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is red.
("lion" "is" "red" "+")
The lion does not need the dog.
("lion" "needs" "dog" "-")
The lion visits the dog.
("lion" "visits" "dog" "+")
The mouse does not eat the bald eagle.
("mouse" "eats" "bald eagle" "-")
If someone eats the mouse then they visit the lion.
((("someone" "eats" "mouse" "+")) -> ("someone" "visits" "lion" "+"))
If someone eats the bald eagle and they eat the dog then the bald eagle is rough.
((("someone" "eats" "bald eagle" "+") ("someone" "eats" "dog" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone is rough then they do not need the mouse.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "mouse" "-"))
The dog is rough.
True
1
proof
[(triple4)]
("dog" "is" "rough" "+")
triple4
The bald eagle visits the lion.
False
1
inv-proof
[(triple3)]
("bald eagle" "visits" "lion" "+")
triple3
The dog does not need the mouse.
True
2
proof
[(((triple4) -> rule3))]
("dog" "needs" "mouse" "-")
((triple4) -> (rule3 % int1))
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
int1
The lion does not visit the lion.
False
2
inv-proof
[(((triple8) -> rule1))]
("lion" "visits" "lion" "-")
((triple8) -> (rule1 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The mouse visits the lion.
Unknown
rconc
[@1: The mouse visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "lion" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The bald eagle needs the mouse.
Unknown
random
[@0: The bald eagle needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "mouse" "+")
@0: The bald eagle does not visit the lion.[(triple3)] The bald eagle eats the lion.[(triple1)] The bald eagle is red.[(triple2)] The dog does not need the bald eagle.[(triple5)] The dog is rough.[(triple4)] The dog visits the lion.[(triple6)] The lion does not eat the bald eagle.[(triple7)] The lion does not need the dog.[(triple10)] The lion eats the mouse.[(triple8)] The lion is red.[(triple9)] The lion visits the dog.[(triple11)] The mouse does not eat the bald eagle.[(triple12)] @1: The dog does not need the mouse.[(((triple4) -> rule3))] The lion visits the lion.[(((triple8) -> rule1))]
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
triple3
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The dog does not need the bald eagle.
("dog" "needs" "bald eagle" "-")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog visits the lion.
("dog" "visits" "lion" "+")
triple6
The lion does not eat the bald eagle.
("lion" "eats" "bald eagle" "-")
triple7
The lion does not need the dog.
("lion" "needs" "dog" "-")
triple10
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple8
The lion is red.
("lion" "is" "red" "+")
triple9
The lion visits the dog.
("lion" "visits" "dog" "+")
triple11
The mouse does not eat the bald eagle.
("mouse" "eats" "bald eagle" "-")
triple12
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
((triple4) -> (rule3 % int1))
The dog does not need the mouse.
("dog" "needs" "mouse" "-")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple8) -> (rule1 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1