The bald eagle likes the rabbit. The bald eagle visits the mouse. The bald eagle visits the rabbit. The cow is cold. The cow likes the mouse. The cow needs the bald eagle. The cow needs the rabbit. The cow visits the rabbit. The mouse is kind. The mouse needs the cow. The mouse needs the rabbit. The mouse visits the bald eagle. The mouse visits the cow. The mouse visits the rabbit. The rabbit is big. The rabbit likes the cow. If something needs the cow then the cow likes the mouse. If something likes the mouse then it is rough. If something needs the mouse then the mouse is cold. If something is young and kind then it visits the cow. If something likes the mouse and it visits the mouse then it is kind. If the bald eagle likes the rabbit and the rabbit visits the cow then the rabbit likes the cow.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
If something needs the cow then the cow likes the mouse.
((("something" "needs" "cow" "+")) -> ("cow" "likes" "mouse" "+"))
If something likes the mouse then it is rough.
((("something" "likes" "mouse" "+")) -> ("something" "is" "rough" "+"))
If something needs the mouse then the mouse is cold.
((("something" "needs" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
If something is young and kind then it visits the cow.
((("something" "is" "young" "+") ("something" "is" "kind" "+")) -> ("something" "visits" "cow" "+"))
If something likes the mouse and it visits the mouse then it is kind.
((("something" "likes" "mouse" "+") ("something" "visits" "mouse" "+")) -> ("something" "is" "kind" "+"))
If the bald eagle likes the rabbit and the rabbit visits the cow then the rabbit likes the cow.
((("bald eagle" "likes" "rabbit" "+") ("rabbit" "visits" "cow" "+")) -> ("rabbit" "likes" "cow" "+"))
The cow visits the rabbit.
True
1
proof
[(triple8)]
("cow" "visits" "rabbit" "+")
triple8
The rabbit is not big.
False
1
inv-proof
[(triple15)]
("rabbit" "is" "big" "-")
triple15
The cow is rough.
True
2
proof
[(((triple5) -> rule2) OR ((((triple10) -> rule1)) -> rule2))]
("cow" "is" "rough" "+")
((triple5) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int2
The cow is not rough.
False
2
inv-proof
[(((triple5) -> rule2) OR ((((triple10) -> rule1)) -> rule2))]
("cow" "is" "rough" "-")
((triple5) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int2
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 cow is kind.
Unknown
rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "kind" "+")
The bald eagle is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The bald eagle visits the mouse.[(triple2)] The bald eagle visits the rabbit.[(triple3)] The cow is cold.[(triple4)] The cow likes the mouse.[(triple5 OR ((triple10) -> rule1))] The cow needs the bald eagle.[(triple6)] The cow needs the rabbit.[(triple7)] The cow visits the rabbit.[(triple8)] The mouse is kind.[(triple9)] The mouse needs the cow.[(triple10)] The mouse needs the rabbit.[(triple11)] The mouse visits the bald eagle.[(triple12)] The mouse visits the cow.[(triple13)] The mouse visits the rabbit.[(triple14)] The rabbit is big.[(triple15)] The rabbit likes the cow.[(triple16)] @1: The cow is rough.[(((triple5) -> rule2) OR ((((triple10) -> rule1)) -> rule2))]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple2
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple5
((triple10) -> (rule1 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple6
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple7
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple10
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple11
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple12
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple13
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple14
The rabbit is big.
("rabbit" "is" "big" "+")
triple15
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple16
The cow is rough.
("cow" "is" "rough" "+")
((triple5) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int2