The bald eagle is big. The bald eagle is green. The cat visits the mouse. The mouse is big. The mouse sees the bald eagle. The mouse visits the rabbit. The rabbit is not green. The rabbit is not red. The rabbit sees the cat. The rabbit sees the mouse. If someone is green then they do not visit the mouse. If someone visits the rabbit then they are not rough. If the bald eagle is big and the bald eagle chases the rabbit then the bald eagle is not nice. If someone visits the rabbit then the rabbit is big. If someone chases the rabbit then the rabbit is big. If the rabbit is rough and the rabbit visits the bald eagle then the bald eagle chases the mouse. If someone is green then they chase the rabbit. If someone visits the bald eagle then they do not visit the rabbit.
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit is not green.
("rabbit" "is" "green" "-")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If someone is green then they do not visit the mouse.
((("someone" "is" "green" "+")) -> ("someone" "visits" "mouse" "-"))
If someone visits the rabbit then they are not rough.
((("someone" "visits" "rabbit" "+")) -> ("someone" "is" "rough" "-"))
If the bald eagle is big and the bald eagle chases the rabbit then the bald eagle is not nice.
((("bald eagle" "is" "big" "+") ("bald eagle" "chases" "rabbit" "+")) -> ("bald eagle" "is" "nice" "-"))
If someone visits the rabbit then the rabbit is big.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
If someone chases the rabbit then the rabbit is big.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "is" "big" "+"))
If the rabbit is rough and the rabbit visits the bald eagle then the bald eagle chases the mouse.
((("rabbit" "is" "rough" "+") ("rabbit" "visits" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If someone is green then they chase the rabbit.
((("someone" "is" "green" "+")) -> ("someone" "chases" "rabbit" "+"))
If someone visits the bald eagle then they do not visit the rabbit.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "visits" "rabbit" "-"))
The cat visits the mouse.
True
1
proof
[(triple3)]
("cat" "visits" "mouse" "+")
triple3
The rabbit does not see the cat.
False
1
inv-proof
[(triple9)]
("rabbit" "sees" "cat" "-")
triple9
The rabbit is big.
True
2
proof
[(((triple6) -> rule4) OR ((((triple2) -> rule7)) -> rule5))]
("rabbit" "is" "big" "+")
((triple6) -> (rule4 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The rabbit is not big.
False
2
inv-proof
[(((triple6) -> rule4) OR ((((triple2) -> rule7)) -> rule5))]
("rabbit" "is" "big" "-")
((triple6) -> (rule4 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle is not nice.
True
4
proof
[(((triple1 ((triple2) -> rule7)) -> rule3))]
("bald eagle" "is" "nice" "-")
((triple1 ((triple2) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle is nice.
False
4
inv-proof
[(((triple1 ((triple2) -> rule7)) -> rule3))]
("bald eagle" "is" "nice" "+")
((triple1 ((triple2) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle does not chase the mouse.
Unknown
inv-rconc
[@1: The bald eagle chases the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "chases" "mouse" "-")
The rabbit chases the rabbit.
Unknown
rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "chases" "rabbit" "+")
The cat does not chase the rabbit.
Unknown
inv-rconc
[@1: The cat chases the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "chases" "rabbit" "-")
The mouse visits the cat.
Unknown
random
[@0: The mouse visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "cat" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The cat visits the mouse.[(triple3)] The mouse is big.[(triple4)] The mouse sees the bald eagle.[(triple5)] The mouse visits the rabbit.[(triple6)] The rabbit is not green.[(triple7)] The rabbit is not red.[(triple8)] The rabbit sees the cat.[(triple9)] The rabbit sees the mouse.[(triple10)] @1: The bald eagle chases the rabbit.[(((triple2) -> rule7))] The bald eagle does not visit the mouse.[(((triple2) -> rule1))] The mouse is not rough.[(((triple6) -> rule2))] The rabbit is big.[(((triple6) -> rule4) OR ((((triple2) -> rule7)) -> rule5))] @2: The bald eagle is not nice.[(((triple1 ((triple2) -> rule7)) -> rule3))]
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple5
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple6
The rabbit is not green.
("rabbit" "is" "green" "-")
triple7
The rabbit is not red.
("rabbit" "is" "red" "-")
triple8
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple9
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple10
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
((triple2) -> (rule7 % int1))
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int1
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
((triple2) -> (rule1 % int1))
The bald eagle does not visit the mouse.
("bald eagle" "visits" "mouse" "-")
int1
The mouse is not rough.
("mouse" "is" "rough" "-")
((triple6) -> (rule2 % int1))
The mouse is not rough.
("mouse" "is" "rough" "-")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((triple6) -> (rule4 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
((((triple2) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
((triple1 ((triple2) -> (rule7 % int2))) -> (rule3 % int1))
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
int1
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
int2