The cat chases the cow. The cat is kind. The cow eats the cat. The cow eats the rabbit. The cow is not rough. The cow does not visit the cat. The rabbit eats the cat. The rabbit eats the cow. The rabbit is green. The rabbit is nice. If something chases the cat then the cat chases the cow. If something eats the cat then the cat chases the rabbit. If the cow is nice and the cow visits the rabbit then the rabbit chases the cow. If something eats the cow then it is green. If something visits the cat then the cat is green. If something is big and it visits the cat then the cat is green.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow does not visit the cat.
("cow" "visits" "cat" "-")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
If something chases the cat then the cat chases the cow.
((("something" "chases" "cat" "+")) -> ("cat" "chases" "cow" "+"))
If something eats the cat then the cat chases the rabbit.
((("something" "eats" "cat" "+")) -> ("cat" "chases" "rabbit" "+"))
If the cow is nice and the cow visits the rabbit then the rabbit chases the cow.
((("cow" "is" "nice" "+") ("cow" "visits" "rabbit" "+")) -> ("rabbit" "chases" "cow" "+"))
If something eats the cow then it is green.
((("something" "eats" "cow" "+")) -> ("something" "is" "green" "+"))
If something visits the cat then the cat is green.
((("something" "visits" "cat" "+")) -> ("cat" "is" "green" "+"))
If something is big and it visits the cat then the cat is green.
((("something" "is" "big" "+") ("something" "visits" "cat" "+")) -> ("cat" "is" "green" "+"))
The cat chases the cow.
True
1
proof
[(triple1)]
("cat" "chases" "cow" "+")
triple1
The cow does not eat the cat.
False
1
inv-proof
[(triple3)]
("cow" "eats" "cat" "-")
triple3
The cat chases the rabbit.
True
2
proof
[(((triple3) -> rule2) OR ((triple7) -> rule2))]
("cat" "chases" "rabbit" "+")
((triple3) -> (rule2 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
((triple7) -> (rule2 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The cat does not chase the rabbit.
False
2
inv-proof
[(((triple3) -> rule2) OR ((triple7) -> rule2))]
("cat" "chases" "rabbit" "-")
((triple3) -> (rule2 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
((triple7) -> (rule2 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "green" "-")
The cow is green.
Unknown
rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "green" "+")
The cow is not big.
Unknown
inv-random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The cat chases the cow.[(triple1)] The cat is kind.[(triple2)] The cow does not visit the cat.[(triple6)] The cow eats the cat.[(triple3)] The cow eats the rabbit.[(triple4)] The cow is not rough.[(triple5)] The rabbit eats the cat.[(triple7)] The rabbit eats the cow.[(triple8)] The rabbit is green.[(triple9 OR ((triple8) -> rule4))] The rabbit is nice.[(triple10)] @1: The cat chases the rabbit.[(((triple3) -> rule2) OR ((triple7) -> rule2))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cow does not visit the cat.
("cow" "visits" "cat" "-")
triple6
The cow eats the cat.
("cow" "eats" "cat" "+")
triple3
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple4
The cow is not rough.
("cow" "is" "rough" "-")
triple5
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple7
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple8
The rabbit is green.
("rabbit" "is" "green" "+")
triple9
((triple8) -> (rule4 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
((triple3) -> (rule2 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1
((triple7) -> (rule2 % int1))
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
int1