The bald eagle chases the mouse. The dog eats the mouse. The mouse eats the dog. The rabbit does not eat the mouse. If something eats the mouse then it is cold. If something is cold then it eats the rabbit.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The rabbit does not eat the mouse.
("rabbit" "eats" "mouse" "-")
If something eats the mouse then it is cold.
((("something" "eats" "mouse" "+")) -> ("something" "is" "cold" "+"))
If something is cold then it eats the rabbit.
((("something" "is" "cold" "+")) -> ("something" "eats" "rabbit" "+"))
The mouse eats the dog.
True
1
proof
[(triple3)]
("mouse" "eats" "dog" "+")
triple3
The dog does not eat the mouse.
False
1
inv-proof
[(triple2)]
("dog" "eats" "mouse" "-")
triple2
The dog is cold.
True
2
proof
[(((triple2) -> rule1))]
("dog" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not cold.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "is" "cold" "-")
((triple2) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog eats the rabbit.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("dog" "eats" "rabbit" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog does not eat the rabbit.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("dog" "eats" "rabbit" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@2: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit is cold.
Unknown
rconc
[@1: The rabbit is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "cold" "+")
The mouse does not eat the rabbit.
Unknown
inv-rconc
[@2: The mouse eats the rabbit.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("mouse" "eats" "rabbit" "-")
The bald eagle sees the rabbit.
Unknown
random
[@0: The bald eagle sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "rabbit" "+")
The dog does not chase the rabbit.
Unknown
inv-random
[@0: The dog chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "rabbit" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The bald eagle chases the mouse.[(triple1)] The dog eats the mouse.[(triple2)] The mouse eats the dog.[(triple3)] The rabbit does not eat the mouse.[(triple4)] @1: The dog is cold.[(((triple2) -> rule1))] @2: The dog eats the rabbit.[(((((triple2) -> rule1)) -> rule2))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple2
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple3
The rabbit does not eat the mouse.
("rabbit" "eats" "mouse" "-")
triple4
The dog is cold.
("dog" "is" "cold" "+")
((triple2) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2