The bald eagle sees the bear. The bear chases the rabbit. The bear likes the rabbit. The cat chases the bear. The rabbit is not cold. The rabbit is red. The rabbit likes the cat. If the bear is round then the bear chases the rabbit. If someone sees the cat then the cat likes the rabbit. If someone sees the cat and the cat is not nice then the cat does not see the bear. If the bald eagle is round and the bald eagle is not nice then the bald eagle chases the bear. If someone sees the cat then the cat is round. If someone chases the bald eagle and the bald eagle chases the bear then the bear likes the cat. If someone chases the rabbit then they are not red. If the rabbit likes the cat and the rabbit likes the bear then the rabbit is green.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
If the bear is round then the bear chases the rabbit.
((("bear" "is" "round" "+")) -> ("bear" "chases" "rabbit" "+"))
If someone sees the cat then the cat likes the rabbit.
((("someone" "sees" "cat" "+")) -> ("cat" "likes" "rabbit" "+"))
If someone sees the cat and the cat is not nice then the cat does not see the bear.
((("someone" "sees" "cat" "+") ("cat" "is" "nice" "~")) -> ("cat" "sees" "bear" "-"))
If the bald eagle is round and the bald eagle is not nice then the bald eagle chases the bear.
((("bald eagle" "is" "round" "+") ("bald eagle" "is" "nice" "~")) -> ("bald eagle" "chases" "bear" "+"))
If someone sees the cat then the cat is round.
((("someone" "sees" "cat" "+")) -> ("cat" "is" "round" "+"))
If someone chases the bald eagle and the bald eagle chases the bear then the bear likes the cat.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "chases" "bear" "+")) -> ("bear" "likes" "cat" "+"))
If someone chases the rabbit then they are not red.
((("someone" "chases" "rabbit" "+")) -> ("someone" "is" "red" "-"))
If the rabbit likes the cat and the rabbit likes the bear then the rabbit is green.
((("rabbit" "likes" "cat" "+") ("rabbit" "likes" "bear" "+")) -> ("rabbit" "is" "green" "+"))
The rabbit is not cold.
True
1
proof
[(triple5)]
("rabbit" "is" "cold" "-")
triple5
The cat does not chase the bear.
False
1
inv-proof
[(triple4)]
("cat" "chases" "bear" "-")
triple4
The bear is not red.
True
2
proof
[(((triple2) -> rule7))]
("bear" "is" "red" "-")
((triple2) -> (rule7 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The bear is red.
False
2
inv-proof
[(((triple2) -> rule7))]
("bear" "is" "red" "+")
((triple2) -> (rule7 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1
The cat is not round.
Unknown
inv-rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "round" "-")
The bear likes the cat.
Unknown
rconc
[@1: The bear likes the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "likes" "cat" "+")
The bald eagle does not like the rabbit.
Unknown
inv-random
[@0: The bald eagle likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "rabbit" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear chases the rabbit.[(triple2)] The bear likes the rabbit.[(triple3)] The cat chases the bear.[(triple4)] The rabbit is not cold.[(triple5)] The rabbit is red.[(triple6)] The rabbit likes the cat.[(triple7)] @1: The bear is not red.[(((triple2) -> rule7))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple3
The cat chases the bear.
("cat" "chases" "bear" "+")
triple4
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple5
The rabbit is red.
("rabbit" "is" "red" "+")
triple6
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple7
The bear is not red.
("bear" "is" "red" "-")
((triple2) -> (rule7 % int1))
The bear is not red.
("bear" "is" "red" "-")
int1