The bald eagle needs the mouse. The cat sees the mouse. The mouse eats the bald eagle. The mouse is nice. The mouse sees the cat. The tiger eats the cat. The tiger needs the cat. If something sees the cat then it eats the mouse. If something is nice and it eats the mouse then it sees the bald eagle. If something is young and it sees the tiger then it needs the bald eagle.
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
If something sees the cat then it eats the mouse.
((("something" "sees" "cat" "+")) -> ("something" "eats" "mouse" "+"))
If something is nice and it eats the mouse then it sees the bald eagle.
((("something" "is" "nice" "+") ("something" "eats" "mouse" "+")) -> ("something" "sees" "bald eagle" "+"))
If something is young and it sees the tiger then it needs the bald eagle.
((("something" "is" "young" "+") ("something" "sees" "tiger" "+")) -> ("something" "needs" "bald eagle" "+"))
The tiger eats the cat.
True
1
proof
[(triple6)]
("tiger" "eats" "cat" "+")
triple6
The tiger does not eat the cat.
False
1
inv-proof
[(triple6)]
("tiger" "eats" "cat" "-")
triple6
The mouse eats the mouse.
True
2
proof
[(((triple5) -> rule1))]
("mouse" "eats" "mouse" "+")
((triple5) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not eat the mouse.
False
2
inv-proof
[(((triple5) -> rule1))]
("mouse" "eats" "mouse" "-")
((triple5) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse sees the bald eagle.
True
4
proof
[(((triple4 ((triple5) -> rule1)) -> rule2))]
("mouse" "sees" "bald eagle" "+")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse does not see the bald eagle.
False
4
inv-proof
[(((triple4 ((triple5) -> rule1)) -> rule2))]
("mouse" "sees" "bald eagle" "-")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The cat does not see the bald eagle.
Unknown
inv-rconc
[@1: The cat sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "sees" "bald eagle" "-")
The tiger eats the mouse.
Unknown
rconc
[@1: The tiger eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "mouse" "+")
The tiger does not see the bald eagle.
Unknown
inv-rconc
[@1: The tiger sees the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "sees" "bald eagle" "-")
The mouse eats the tiger.
Unknown
random
[@0: The mouse eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "tiger" "+")
The cat does not eat the tiger.
Unknown
inv-random
[@0: The cat eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "tiger" "-")
The mouse needs the tiger.
Unknown
random
[@0: The mouse needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "tiger" "+")
@0: The bald eagle needs the mouse.[(triple1)] The cat sees the mouse.[(triple2)] The mouse eats the bald eagle.[(triple3)] The mouse is nice.[(triple4)] The mouse sees the cat.[(triple5)] The tiger eats the cat.[(triple6)] The tiger needs the cat.[(triple7)] @1: The mouse eats the mouse.[(((triple5) -> rule1))] @2: The mouse sees the bald eagle.[(((triple4 ((triple5) -> rule1)) -> rule2))]
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple1
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple3
The mouse is nice.
("mouse" "is" "nice" "+")
triple4
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple5
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple6
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple7
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple5) -> (rule1 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
((triple4 ((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2