The bald eagle visits the tiger. The cow eats the mouse. The mouse chases the cow. The tiger visits the mouse. If someone visits the tiger and the tiger eats the bald eagle then the tiger chases the bald eagle. If someone chases the mouse then the mouse is green. If someone visits the mouse then they eat the bald eagle.
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If someone visits the tiger and the tiger eats the bald eagle then the tiger chases the bald eagle.
((("someone" "visits" "tiger" "+") ("tiger" "eats" "bald eagle" "+")) -> ("tiger" "chases" "bald eagle" "+"))
If someone chases the mouse then the mouse is green.
((("someone" "chases" "mouse" "+")) -> ("mouse" "is" "green" "+"))
If someone visits the mouse then they eat the bald eagle.
((("someone" "visits" "mouse" "+")) -> ("someone" "eats" "bald eagle" "+"))
The cow eats the mouse.
True
1
proof
[(triple2)]
("cow" "eats" "mouse" "+")
triple2
The mouse does not chase the cow.
False
1
inv-proof
[(triple3)]
("mouse" "chases" "cow" "-")
triple3
The tiger eats the bald eagle.
True
2
proof
[(((triple4) -> rule3))]
("tiger" "eats" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger does not eat the bald eagle.
False
2
inv-proof
[(((triple4) -> rule3))]
("tiger" "eats" "bald eagle" "-")
((triple4) -> (rule3 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger chases the bald eagle.
True
4
proof
[(((triple1 ((triple4) -> rule3)) -> rule1))]
("tiger" "chases" "bald eagle" "+")
((triple1 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger does not chase the bald eagle.
False
4
inv-proof
[(((triple1 ((triple4) -> rule3)) -> rule1))]
("tiger" "chases" "bald eagle" "-")
((triple1 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The mouse is not green.
Unknown
inv-rconc
[@1: The mouse is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "green" "-")
The mouse eats the bald eagle.
Unknown
rconc
[@1: The mouse eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "eats" "bald eagle" "+")
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
The mouse does not eat the cow.
Unknown
inv-random
[@0: The mouse eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "cow" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The bald eagle visits the tiger.[(triple1)] The cow eats the mouse.[(triple2)] The mouse chases the cow.[(triple3)] The tiger visits the mouse.[(triple4)] @1: The tiger eats the bald eagle.[(((triple4) -> rule3))] @2: The tiger chases the bald eagle.[(((triple1 ((triple4) -> rule3)) -> rule1))]
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple4
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((triple4) -> (rule3 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
((triple1 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2