The bald eagle eats the mouse. The bald eagle eats the tiger. The dog chases the bald eagle. The dog chases the tiger. The mouse eats the tiger. The mouse likes the tiger. The tiger is big. If something eats the tiger then the tiger likes the bald eagle. If something is cold then it likes the tiger. If something likes the dog then it is cold. If something eats the bald eagle then it chases the tiger. If something chases the bald eagle then the bald eagle likes the dog. If something chases the tiger and it likes the mouse then it eats the tiger. If something eats the mouse and it chases the dog then the mouse chases the bald eagle. If the mouse is big and the mouse chases the tiger then the tiger chases the mouse.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The tiger is big.
("tiger" "is" "big" "+")
If something eats the tiger then the tiger likes the bald eagle.
((("something" "eats" "tiger" "+")) -> ("tiger" "likes" "bald eagle" "+"))
If something is cold then it likes the tiger.
((("something" "is" "cold" "+")) -> ("something" "likes" "tiger" "+"))
If something likes the dog then it is cold.
((("something" "likes" "dog" "+")) -> ("something" "is" "cold" "+"))
If something eats the bald eagle then it chases the tiger.
((("something" "eats" "bald eagle" "+")) -> ("something" "chases" "tiger" "+"))
If something chases the bald eagle then the bald eagle likes the dog.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "likes" "dog" "+"))
If something chases the tiger and it likes the mouse then it eats the tiger.
((("something" "chases" "tiger" "+") ("something" "likes" "mouse" "+")) -> ("something" "eats" "tiger" "+"))
If something eats the mouse and it chases the dog then the mouse chases the bald eagle.
((("something" "eats" "mouse" "+") ("something" "chases" "dog" "+")) -> ("mouse" "chases" "bald eagle" "+"))
If the mouse is big and the mouse chases the tiger then the tiger chases the mouse.
((("mouse" "is" "big" "+") ("mouse" "chases" "tiger" "+")) -> ("tiger" "chases" "mouse" "+"))
The bald eagle eats the tiger.
True
1
proof
[(triple2)]
("bald eagle" "eats" "tiger" "+")
triple2
The dog does not chase the tiger.
False
1
inv-proof
[(triple4)]
("dog" "chases" "tiger" "-")
triple4
The tiger likes the bald eagle.
True
2
proof
[(((triple2) -> rule1) OR ((triple5) -> rule1))]
("tiger" "likes" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
((triple5) -> (rule1 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The tiger does not like the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1) OR ((triple5) -> rule1))]
("tiger" "likes" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
((triple5) -> (rule1 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The bald eagle is cold.
True
3
proof
[(((((triple3) -> rule5)) -> rule3))]
("bald eagle" "is" "cold" "+")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle is not cold.
False
3
inv-proof
[(((((triple3) -> rule5)) -> rule3))]
("bald eagle" "is" "cold" "-")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The mouse is not cold.
Unknown
inv-rconc
[@1: The mouse is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "cold" "-")
The tiger is cold.
Unknown
rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "cold" "+")
The tiger does not like the tiger.
Unknown
inv-rconc
[@2: The tiger likes the tiger.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("tiger" "likes" "tiger" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse eats the dog.
Unknown
random
[@0: The mouse eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "dog" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The dog chases the bald eagle.[(triple3)] The dog chases the tiger.[(triple4)] The mouse eats the tiger.[(triple5)] The mouse likes the tiger.[(triple6)] The tiger is big.[(triple7)] @1: The bald eagle likes the dog.[(((triple3) -> rule5))] The tiger likes the bald eagle.[(((triple2) -> rule1) OR ((triple5) -> rule1))] @2: The bald eagle is cold.[(((((triple3) -> rule5)) -> rule3))] @3: The bald eagle likes the tiger.[(((((((triple3) -> rule5)) -> rule3)) -> rule2))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple3
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple4
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple5
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple6
The tiger is big.
("tiger" "is" "big" "+")
triple7
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((triple3) -> (rule5 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
((triple5) -> (rule1 % int1))
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((triple3) -> (rule5 % int2))) -> (rule3 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
((((((triple3) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3