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