The bald eagle chases the rabbit. The bald eagle eats the rabbit. The bald eagle likes the squirrel. The cat chases the bald eagle. The cat eats the rabbit. The cat eats the squirrel. The cat likes the rabbit. The rabbit likes the bald eagle. The squirrel chases the bald eagle. The squirrel chases the cat. The squirrel eats the bald eagle. The squirrel likes the cat. If someone is green and they eat the rabbit then the rabbit likes the squirrel. If someone is cold and they like the bald eagle then they chase the rabbit. If the cat is kind and the cat likes the squirrel then the squirrel likes the bald eagle. If the bald eagle eats the cat and the cat chases the rabbit then the bald eagle likes the squirrel. If someone likes the squirrel and the squirrel likes the bald eagle then they are green. If someone eats the rabbit then they are nice. If someone likes the rabbit and they are green then they like the squirrel. If someone chases the cat and the cat likes the rabbit then the rabbit eats the bald eagle.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
If someone is green and they eat the rabbit then the rabbit likes the squirrel.
((("someone" "is" "green" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "likes" "squirrel" "+"))
If someone is cold and they like the bald eagle then they chase the rabbit.
((("someone" "is" "cold" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "chases" "rabbit" "+"))
If the cat is kind and the cat likes the squirrel then the squirrel likes the bald eagle.
((("cat" "is" "kind" "+") ("cat" "likes" "squirrel" "+")) -> ("squirrel" "likes" "bald eagle" "+"))
If the bald eagle eats the cat and the cat chases the rabbit then the bald eagle likes the squirrel.
((("bald eagle" "eats" "cat" "+") ("cat" "chases" "rabbit" "+")) -> ("bald eagle" "likes" "squirrel" "+"))
If someone likes the squirrel and the squirrel likes the bald eagle then they are green.
((("someone" "likes" "squirrel" "+") ("squirrel" "likes" "bald eagle" "+")) -> ("someone" "is" "green" "+"))
If someone eats the rabbit then they are nice.
((("someone" "eats" "rabbit" "+")) -> ("someone" "is" "nice" "+"))
If someone likes the rabbit and they are green then they like the squirrel.
((("someone" "likes" "rabbit" "+") ("someone" "is" "green" "+")) -> ("someone" "likes" "squirrel" "+"))
If someone chases the cat and the cat likes the rabbit then the rabbit eats the bald eagle.
((("someone" "chases" "cat" "+") ("cat" "likes" "rabbit" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
The cat chases the bald eagle.
True
1
proof
[(triple4)]
("cat" "chases" "bald eagle" "+")
triple4
The squirrel does not chase the bald eagle.
False
1
inv-proof
[(triple9)]
("squirrel" "chases" "bald eagle" "-")
triple9
The bald eagle is nice.
True
2
proof
[(((triple2) -> rule6))]
("bald eagle" "is" "nice" "+")
((triple2) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The rabbit does not eat the bald eagle.
False
3
inv-proof
[(((triple10 triple7) -> rule8))]
("rabbit" "eats" "bald eagle" "-")
((triple10 triple7) -> (rule8 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "nice" "-")
The cat likes the squirrel.
Unknown
rconc
[@2: The cat likes the squirrel.[CWA. Example of deepest failure = (rule7 <- rule5 <- FAIL)]]
("cat" "likes" "squirrel" "+")
The squirrel does not like the rabbit.
Unknown
inv-random
[@0: The squirrel likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "rabbit" "-")
The rabbit eats the squirrel.
Unknown
random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The bald eagle likes the squirrel.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat eats the rabbit.[(triple5)] The cat eats the squirrel.[(triple6)] The cat likes the rabbit.[(triple7)] The rabbit likes the bald eagle.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel chases the cat.[(triple10)] The squirrel eats the bald eagle.[(triple11)] The squirrel likes the cat.[(triple12)] @1: The bald eagle is nice.[(((triple2) -> rule6))] The cat is nice.[(((triple5) -> rule6))] The rabbit eats the bald eagle.[(((triple10 triple7) -> rule8))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple5
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple6
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple7
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple8
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple9
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
triple10
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple11
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
triple12
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple2) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The cat is nice.
("cat" "is" "nice" "+")
((triple5) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
((triple10 triple7) -> (rule8 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1