The bald eagle does not chase the rabbit. The bald eagle likes the cat. The bald eagle likes the rabbit. The cat chases the cow. The cat chases the rabbit. The cat sees the bald eagle. The cow chases the bald eagle. The cow is rough. The cow likes the bald eagle. The rabbit is big. The rabbit is rough. The rabbit sees the cat. If the bald eagle chases the cow then the cow sees the rabbit. If something is green then it chases the rabbit. If something likes the cat and it is not rough then it sees the cow. If something likes the bald eagle then it sees the cow. If something is rough and it sees the cow then it does not like the cat. If something is big and round then it is not kind. All rough, big things are green. If the rabbit chases the cat and the rabbit is not rough then the rabbit is not big.
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If the bald eagle chases the cow then the cow sees the rabbit.
((("bald eagle" "chases" "cow" "+")) -> ("cow" "sees" "rabbit" "+"))
If something is green then it chases the rabbit.
((("something" "is" "green" "+")) -> ("something" "chases" "rabbit" "+"))
If something likes the cat and it is not rough then it sees the cow.
((("something" "likes" "cat" "+") ("something" "is" "rough" "~")) -> ("something" "sees" "cow" "+"))
If something likes the bald eagle then it sees the cow.
((("something" "likes" "bald eagle" "+")) -> ("something" "sees" "cow" "+"))
If something is rough and it sees the cow then it does not like the cat.
((("something" "is" "rough" "+") ("something" "sees" "cow" "+")) -> ("something" "likes" "cat" "-"))
If something is big and round then it is not kind.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "-"))
All rough, big things are green.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If the rabbit chases the cat and the rabbit is not rough then the rabbit is not big.
((("rabbit" "chases" "cat" "+") ("rabbit" "is" "rough" "~")) -> ("rabbit" "is" "big" "-"))
The bald eagle likes the cat.
True
1
proof
[(triple2)]
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle does not like the cat.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "cat" "-")
triple2
The rabbit is green.
True
3
proof
[(((triple11 triple10) -> rule7))]
("rabbit" "is" "green" "+")
((triple11 triple10) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is not green.
False
3
inv-proof
[(((triple11 triple10) -> rule7))]
("rabbit" "is" "green" "-")
((triple11 triple10) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The cow does not like the cat.
True
4
proof
[(((triple8 ((triple9) -> rule4)) -> rule5))]
("cow" "likes" "cat" "-")
((triple8 ((triple9) -> (rule4 % int2))) -> (rule5 % int1))
The cow does not like the cat.
("cow" "likes" "cat" "-")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The rabbit does not chase the rabbit.
False
4
inv-proof
[(((((triple11 triple10) -> rule7)) -> rule2))]
("rabbit" "chases" "rabbit" "-")
((((triple11 triple10) -> (rule7 % int2))) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2
The bald eagle is not green.
Unknown
inv-rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "is" "green" "-")
The cat sees the cow.
Unknown
rconc
[@1: The cat sees the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "sees" "cow" "+")
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "is" "green" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
@0: The bald eagle does not chase the rabbit.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The cat chases the cow.[(triple4)] The cat chases the rabbit.[(triple5)] The cat sees the bald eagle.[(triple6)] The cow chases the bald eagle.[(triple7)] The cow is rough.[(triple8)] The cow likes the bald eagle.[(triple9)] The rabbit is big.[(triple10)] The rabbit is rough.[(triple11)] The rabbit sees the cat.[(triple12)] @1: The cow sees the cow.[(((triple9) -> rule4))] The rabbit is green.[(((triple11 triple10) -> rule7))] @2: The cow does not like the cat.[(((triple8 ((triple9) -> rule4)) -> rule5))] The rabbit chases the rabbit.[(((((triple11 triple10) -> rule7)) -> rule2))]
The bald eagle does not chase the rabbit.
("bald eagle" "chases" "rabbit" "-")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple3
The cat chases the cow.
("cat" "chases" "cow" "+")
triple4
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple5
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple6
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple7
The cow is rough.
("cow" "is" "rough" "+")
triple8
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple9
The rabbit is big.
("rabbit" "is" "big" "+")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple12
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple9) -> (rule4 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
((triple11 triple10) -> (rule7 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The cow does not like the cat.
("cow" "likes" "cat" "-")
((triple8 ((triple9) -> (rule4 % int2))) -> (rule5 % int1))
The cow does not like the cat.
("cow" "likes" "cat" "-")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((((triple11 triple10) -> (rule7 % int2))) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
int2