The bald eagle likes the squirrel. The rabbit likes the bald eagle. The squirrel sees the rabbit. If the squirrel is not cold then the squirrel chases the bald eagle. If something chases the squirrel then the squirrel does not chase the bald eagle. If the squirrel does not see the bald eagle then the bald eagle likes the squirrel. If something sees the rabbit then it is big. If something is kind and it does not like the bald eagle then it chases the bald eagle. If something is green and not big then it likes the rabbit.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If the squirrel is not cold then the squirrel chases the bald eagle.
((("squirrel" "is" "cold" "~")) -> ("squirrel" "chases" "bald eagle" "+"))
If something chases the squirrel then the squirrel does not chase the bald eagle.
((("something" "chases" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "-"))
If the squirrel does not see the bald eagle then the bald eagle likes the squirrel.
((("squirrel" "sees" "bald eagle" "~")) -> ("bald eagle" "likes" "squirrel" "+"))
If something sees the rabbit then it is big.
((("something" "sees" "rabbit" "+")) -> ("something" "is" "big" "+"))
If something is kind and it does not like the bald eagle then it chases the bald eagle.
((("something" "is" "kind" "+") ("something" "likes" "bald eagle" "~")) -> ("something" "chases" "bald eagle" "+"))
If something is green and not big then it likes the rabbit.
((("something" "is" "green" "+") ("something" "is" "big" "~")) -> ("something" "likes" "rabbit" "+"))
The bald eagle likes the squirrel.
True
1
proof
[(triple1)]
("bald eagle" "likes" "squirrel" "+")
triple1
The squirrel does not see the rabbit.
False
1
inv-proof
[(triple3)]
("squirrel" "sees" "rabbit" "-")
triple3
The squirrel is big.
True
2
proof
[(((triple3) -> rule4))]
("squirrel" "is" "big" "+")
((triple3) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The squirrel is not big.
False
2
inv-proof
[(((triple3) -> rule4))]
("squirrel" "is" "big" "-")
((triple3) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "big" "+")
The squirrel does not like the bald eagle.
Unknown
inv-random
[@0: The squirrel likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bald eagle" "-")
The squirrel sees the squirrel.
Unknown
random
[@0: The squirrel sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "squirrel" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The rabbit likes the bald eagle.[(triple2)] The squirrel sees the rabbit.[(triple3)] @1: The squirrel is big.[(((triple3) -> rule4))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple2
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple3
The squirrel is big.
("squirrel" "is" "big" "+")
((triple3) -> (rule4 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1