The bald eagle chases the rabbit. The bald eagle chases the squirrel. The bald eagle is big. The bald eagle is red. The bald eagle does not see the squirrel. The bald eagle visits the squirrel. The mouse does not chase the bald eagle. The mouse does not see the rabbit. The rabbit chases the mouse. The rabbit chases the squirrel. The rabbit does not see the squirrel. The squirrel does not chase the mouse. If something sees the bald eagle then it does not see the squirrel. If something chases the squirrel then the squirrel is nice. If something chases the squirrel then it is young. If something chases the bald eagle then it chases the mouse. If something is young and it chases the mouse then the mouse does not chase the squirrel. If something visits the mouse then the mouse sees the rabbit. If something chases the bald eagle and the bald eagle does not see the mouse then the mouse sees the rabbit. If the squirrel is not nice then the squirrel is kind.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
The mouse does not see the rabbit.
("mouse" "sees" "rabbit" "-")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
The rabbit does not see the squirrel.
("rabbit" "sees" "squirrel" "-")
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
If something sees the bald eagle then it does not see the squirrel.
((("something" "sees" "bald eagle" "+")) -> ("something" "sees" "squirrel" "-"))
If something chases the squirrel then the squirrel is nice.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
If something chases the squirrel then it is young.
((("something" "chases" "squirrel" "+")) -> ("something" "is" "young" "+"))
If something chases the bald eagle then it chases the mouse.
((("something" "chases" "bald eagle" "+")) -> ("something" "chases" "mouse" "+"))
If something is young and it chases the mouse then the mouse does not chase the squirrel.
((("something" "is" "young" "+") ("something" "chases" "mouse" "+")) -> ("mouse" "chases" "squirrel" "-"))
If something visits the mouse then the mouse sees the rabbit.
((("something" "visits" "mouse" "+")) -> ("mouse" "sees" "rabbit" "+"))
If something chases the bald eagle and the bald eagle does not see the mouse then the mouse sees the rabbit.
((("something" "chases" "bald eagle" "+") ("bald eagle" "sees" "mouse" "~")) -> ("mouse" "sees" "rabbit" "+"))
If the squirrel is not nice then the squirrel is kind.
((("squirrel" "is" "nice" "~")) -> ("squirrel" "is" "kind" "+"))
The bald eagle chases the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle is not big.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "big" "-")
triple3
The bald eagle is young.
True
2
proof
[(((triple2) -> rule3))]
("bald eagle" "is" "young" "+")
((triple2) -> (rule3 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The squirrel is not nice.
False
2
inv-proof
[(((triple10) -> rule2) OR ((triple2) -> rule2))]
("squirrel" "is" "nice" "-")
((triple10) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
((triple2) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The mouse does not chase the squirrel.
True
4
proof
[(((((triple10) -> rule3) triple9) -> rule5))]
("mouse" "chases" "squirrel" "-")
((((triple10) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The mouse does not chase the squirrel.
("mouse" "chases" "squirrel" "-")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The mouse chases the squirrel.
False
4
inv-proof
[(((((triple10) -> rule3) triple9) -> rule5))]
("mouse" "chases" "squirrel" "+")
((((triple10) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The mouse does not chase the squirrel.
("mouse" "chases" "squirrel" "-")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2
The squirrel is not young.
Unknown
inv-rconc
[@1: The squirrel is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "young" "-")
The mouse is young.
Unknown
rconc
[@1: The mouse is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "young" "+")
The bald eagle does not chase the mouse.
Unknown
inv-rconc
[@1: The bald eagle chases the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "chases" "mouse" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The rabbit does not visit the squirrel.
Unknown
inv-random
[@0: The rabbit visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "squirrel" "-")
The rabbit chases the bald eagle.
Unknown
random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The bald eagle does not see the squirrel.[(triple5)] The bald eagle is big.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle visits the squirrel.[(triple6)] The mouse does not chase the bald eagle.[(triple7)] The mouse does not see the rabbit.[(triple8)] The rabbit chases the mouse.[(triple9)] The rabbit chases the squirrel.[(triple10)] The rabbit does not see the squirrel.[(triple11)] The squirrel does not chase the mouse.[(triple12)] @1: The bald eagle is young.[(((triple2) -> rule3))] The rabbit is young.[(((triple10) -> rule3))] The squirrel is nice.[(((triple10) -> rule2) OR ((triple2) -> rule2))] @2: The mouse does not chase the squirrel.[(((((triple10) -> rule3) triple9) -> rule5))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The bald eagle does not see the squirrel.
("bald eagle" "sees" "squirrel" "-")
triple5
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle visits the squirrel.
("bald eagle" "visits" "squirrel" "+")
triple6
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
triple7
The mouse does not see the rabbit.
("mouse" "sees" "rabbit" "-")
triple8
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple9
The rabbit chases the squirrel.
("rabbit" "chases" "squirrel" "+")
triple10
The rabbit does not see the squirrel.
("rabbit" "sees" "squirrel" "-")
triple11
The squirrel does not chase the mouse.
("squirrel" "chases" "mouse" "-")
triple12
The bald eagle is young.
("bald eagle" "is" "young" "+")
((triple2) -> (rule3 % int1))
The bald eagle is young.
("bald eagle" "is" "young" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple10) -> (rule3 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The squirrel is nice.
("squirrel" "is" "nice" "+")
((triple10) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
((triple2) -> (rule2 % int1))
The squirrel is nice.
("squirrel" "is" "nice" "+")
int1
The mouse does not chase the squirrel.
("mouse" "chases" "squirrel" "-")
((((triple10) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The mouse does not chase the squirrel.
("mouse" "chases" "squirrel" "-")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
int2