The bald eagle visits the mouse. The cow chases the tiger. The mouse is rough. The tiger is round. If something likes the bald eagle then it chases the tiger. If the cow is young and the cow visits the mouse then the mouse visits the bald eagle.
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
If something likes the bald eagle then it chases the tiger.
((("something" "likes" "bald eagle" "+")) -> ("something" "chases" "tiger" "+"))
If the cow is young and the cow visits the mouse then the mouse visits the bald eagle.
((("cow" "is" "young" "+") ("cow" "visits" "mouse" "+")) -> ("mouse" "visits" "bald eagle" "+"))
The bald eagle visits the mouse.
True
1
proof
[(triple1)]
("bald eagle" "visits" "mouse" "+")
triple1
The mouse is not rough.
False
1
inv-proof
[(triple3)]
("mouse" "is" "rough" "-")
triple3
The mouse does not visit the bald eagle.
Unknown
inv-rconc
[@1: The mouse visits the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "visits" "bald eagle" "-")
The cow is young.
Unknown
random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "+")
@0: The bald eagle visits the mouse.[(triple1)] The cow chases the tiger.[(triple2)] The mouse is rough.[(triple3)] The tiger is round.[(triple4)]
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple1
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple3
The tiger is round.
("tiger" "is" "round" "+")
triple4