The bald eagle chases the cat. The bald eagle is blue. The bald eagle is cold. The bald eagle is young. The bald eagle visits the rabbit. The cat chases the bald eagle. The cat is young. The cat visits the mouse. The mouse chases the cat. The mouse chases the rabbit. The mouse is not red. The mouse is rough. The mouse visits the cat. The mouse visits the rabbit. The rabbit is cold. The rabbit visits the bald eagle. If the bald eagle visits the cat and the bald eagle is red then the bald eagle visits the mouse. If something is blue and it chases the bald eagle then the bald eagle visits the mouse. If something visits the rabbit then it likes the mouse. If something visits the bald eagle and the bald eagle is cold then the bald eagle likes the rabbit. If something likes the mouse then it does not visit the mouse. If something is cold and it does not visit the mouse then the mouse chases the rabbit.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is young.
("cat" "is" "young" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is not red.
("mouse" "is" "red" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If the bald eagle visits the cat and the bald eagle is red then the bald eagle visits the mouse.
((("bald eagle" "visits" "cat" "+") ("bald eagle" "is" "red" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If something is blue and it chases the bald eagle then the bald eagle visits the mouse.
((("something" "is" "blue" "+") ("something" "chases" "bald eagle" "+")) -> ("bald eagle" "visits" "mouse" "+"))
If something visits the rabbit then it likes the mouse.
((("something" "visits" "rabbit" "+")) -> ("something" "likes" "mouse" "+"))
If something visits the bald eagle and the bald eagle is cold then the bald eagle likes the rabbit.
((("something" "visits" "bald eagle" "+") ("bald eagle" "is" "cold" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If something likes the mouse then it does not visit the mouse.
((("something" "likes" "mouse" "+")) -> ("something" "visits" "mouse" "-"))
If something is cold and it does not visit the mouse then the mouse chases the rabbit.
((("something" "is" "cold" "+") ("something" "visits" "mouse" "~")) -> ("mouse" "chases" "rabbit" "+"))
The bald eagle is young.
True
1
proof
[(triple4)]
("bald eagle" "is" "young" "+")
triple4
The mouse does not chase the rabbit.
False
1
inv-proof
[(triple10 OR ((triple3 ((((triple5) -> rule3)) -> rule5)) -> rule6))]
("mouse" "chases" "rabbit" "-")
triple10
((triple3 ((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
int2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int3
The mouse likes the mouse.
True
2
proof
[(((triple14) -> rule3))]
("mouse" "likes" "mouse" "+")
((triple14) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The bald eagle does not like the mouse.
False
2
inv-proof
[(((triple5) -> rule3))]
("bald eagle" "likes" "mouse" "-")
((triple5) -> (rule3 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The mouse does not visit the mouse.
True
3
proof
[(((((triple14) -> rule3)) -> rule5))]
("mouse" "visits" "mouse" "-")
((((triple14) -> (rule3 % int2))) -> (rule5 % int1))
The mouse does not visit the mouse.
("mouse" "visits" "mouse" "-")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse visits the mouse.
False
3
inv-proof
[(((((triple14) -> rule3)) -> rule5))]
("mouse" "visits" "mouse" "+")
((((triple14) -> (rule3 % int2))) -> (rule5 % int1))
The mouse does not visit the mouse.
("mouse" "visits" "mouse" "-")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The cat does not like the mouse.
Unknown
inv-rconc
[@1: The cat likes the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "likes" "mouse" "-")
The rabbit likes the mouse.
Unknown
rconc
[@1: The rabbit likes the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "mouse" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The mouse likes the rabbit.
Unknown
random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "+")
The rabbit does not like the bald eagle.
Unknown
inv-random
[@0: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bald eagle" "-")
The bald eagle chases the mouse.
Unknown
random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle visits the rabbit.[(triple5)] The cat chases the bald eagle.[(triple6)] The cat is young.[(triple7)] The cat visits the mouse.[(triple8)] The mouse chases the cat.[(triple9)] The mouse chases the rabbit.[(triple10 OR ((triple3 ((((triple5) -> rule3)) -> rule5)) -> rule6))] The mouse is not red.[(triple11)] The mouse is rough.[(triple12)] The mouse visits the cat.[(triple13)] The mouse visits the rabbit.[(triple14)] The rabbit is cold.[(triple15)] The rabbit visits the bald eagle.[(triple16)] @1: The bald eagle likes the mouse.[(((triple5) -> rule3))] The bald eagle likes the rabbit.[(((triple16 triple3) -> rule4))] The mouse likes the mouse.[(((triple14) -> rule3))] @2: The bald eagle does not visit the mouse.[(((((triple5) -> rule3)) -> rule5))] The mouse does not visit the mouse.[(((((triple14) -> rule3)) -> rule5))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple5
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple8
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple9
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple10
((triple3 ((((triple5) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
int2
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int3
The mouse is not red.
("mouse" "is" "red" "-")
triple11
The mouse is rough.
("mouse" "is" "rough" "+")
triple12
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple13
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple14
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple15
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple16
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
((triple5) -> (rule3 % int1))
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple16 triple3) -> (rule4 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((triple14) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
((((triple5) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
int1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
int2
The mouse does not visit the mouse.
("mouse" "visits" "mouse" "-")
((((triple14) -> (rule3 % int2))) -> (rule5 % int1))
The mouse does not visit the mouse.
("mouse" "visits" "mouse" "-")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2