The bald eagle eats the rabbit. The bald eagle is big. The bald eagle is young. The cat does not eat the bald eagle. The cat is big. The cat sees the bald eagle. The mouse does not need the cat. The rabbit eats the bald eagle. The rabbit is round. The rabbit needs the mouse. The rabbit sees the bald eagle. The rabbit sees the cat. If something sees the bald eagle then the bald eagle needs the cat. If something eats the bald eagle and it is not young then it eats the mouse.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
The cat is big.
("cat" "is" "big" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The mouse does not need the cat.
("mouse" "needs" "cat" "-")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If something sees the bald eagle then the bald eagle needs the cat.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If something eats the bald eagle and it is not young then it eats the mouse.
((("something" "eats" "bald eagle" "+") ("something" "is" "young" "~")) -> ("something" "eats" "mouse" "+"))
The mouse does not need the cat.
True
1
proof
[(triple7)]
("mouse" "needs" "cat" "-")
triple7
The cat is not big.
False
1
inv-proof
[(triple5)]
("cat" "is" "big" "-")
triple5
The bald eagle needs the cat.
True
2
proof
[(((triple11) -> rule1) OR ((triple6) -> rule1))]
("bald eagle" "needs" "cat" "+")
((triple11) -> (rule1 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
((triple6) -> (rule1 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle does not need the cat.
False
2
inv-proof
[(((triple11) -> rule1) OR ((triple6) -> rule1))]
("bald eagle" "needs" "cat" "-")
((triple11) -> (rule1 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
((triple6) -> (rule1 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle does not eat the mouse.
Unknown
inv-rconc
[@1: The bald eagle eats the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "mouse" "-")
The mouse eats the mouse.
Unknown
rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "eats" "mouse" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The mouse sees the bald eagle.
Unknown
random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is young.[(triple3)] The cat does not eat the bald eagle.[(triple4)] The cat is big.[(triple5)] The cat sees the bald eagle.[(triple6)] The mouse does not need the cat.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit is round.[(triple9)] The rabbit needs the mouse.[(triple10)] The rabbit sees the bald eagle.[(triple11)] The rabbit sees the cat.[(triple12)] @1: The bald eagle needs the cat.[(((triple11) -> rule1) OR ((triple6) -> rule1))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
triple4
The cat is big.
("cat" "is" "big" "+")
triple5
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple6
The mouse does not need the cat.
("mouse" "needs" "cat" "-")
triple7
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple10
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple11
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple12
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((triple11) -> (rule1 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
((triple6) -> (rule1 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1