The bald eagle does not eat the rabbit. The bald eagle is young. The bald eagle needs the cat. The bear is big. The bear needs the bald eagle. The bear needs the cat. The cat chases the rabbit. The cat eats the bear. The cat is not kind. The rabbit chases the bear. The rabbit does not eat the bald eagle. The rabbit eats the bear. The rabbit eats the cat. The rabbit is young. The rabbit does not need the bear. If someone is young then they chase the bald eagle. If someone chases the cat and they are not young then they eat the rabbit.
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bear is big.
("bear" "is" "big" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is not kind.
("cat" "is" "kind" "-")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit does not need the bear.
("rabbit" "needs" "bear" "-")
If someone is young then they chase the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the cat and they are not young then they eat the rabbit.
((("someone" "chases" "cat" "+") ("someone" "is" "young" "~")) -> ("someone" "eats" "rabbit" "+"))
The cat eats the bear.
True
1
proof
[(triple8)]
("cat" "eats" "bear" "+")
triple8
The rabbit needs the bear.
False
1
inv-proof
[(triple15)]
("rabbit" "needs" "bear" "+")
triple15
The rabbit chases the bald eagle.
True
2
proof
[(((triple14) -> rule1))]
("rabbit" "chases" "bald eagle" "+")
((triple14) -> (rule1 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "chases" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bear does not eat the rabbit.
Unknown
inv-rconc
[@1: The bear eats the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "rabbit" "-")
The bear chases the bald eagle.
Unknown
rconc
[@1: The bear chases the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "bald eagle" "+")
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The rabbit needs the bald eagle.
Unknown
random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "+")
@0: The bald eagle does not eat the rabbit.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the cat.[(triple3)] The bear is big.[(triple4)] The bear needs the bald eagle.[(triple5)] The bear needs the cat.[(triple6)] The cat chases the rabbit.[(triple7)] The cat eats the bear.[(triple8)] The cat is not kind.[(triple9)] The rabbit chases the bear.[(triple10)] The rabbit does not eat the bald eagle.[(triple11)] The rabbit does not need the bear.[(triple15)] The rabbit eats the bear.[(triple12)] The rabbit eats the cat.[(triple13)] The rabbit is young.[(triple14)] @1: The bald eagle chases the bald eagle.[(((triple2) -> rule1))] The rabbit chases the bald eagle.[(((triple14) -> rule1))]
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple3
The bear is big.
("bear" "is" "big" "+")
triple4
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple5
The bear needs the cat.
("bear" "needs" "cat" "+")
triple6
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple7
The cat eats the bear.
("cat" "eats" "bear" "+")
triple8
The cat is not kind.
("cat" "is" "kind" "-")
triple9
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple10
The rabbit does not eat the bald eagle.
("rabbit" "eats" "bald eagle" "-")
triple11
The rabbit does not need the bear.
("rabbit" "needs" "bear" "-")
triple15
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple12
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
((triple14) -> (rule1 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1