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