The cat is not green. The cat does not visit the dog. The cat does not visit the rabbit. The cow eats the dog. The cow visits the cat. The cow visits the dog. The dog sees the cow. The dog sees the rabbit. The dog visits the rabbit. The rabbit does not eat the dog. The rabbit visits the cow. The rabbit visits the dog. If something sees the rabbit and it sees the cow then the rabbit is rough. If something visits the rabbit then it does not eat the rabbit. If the cat eats the dog then the dog eats the cat. If the rabbit is blue then the rabbit eats the dog. If the dog is red then the dog does not eat the rabbit. If something visits the cat then it visits the cow. If something sees the cow and it is rough then it visits the cat. If something visits the rabbit and the rabbit is blue then the rabbit visits the cow.
The cat is not green.
("cat" "is" "green" "-")
The cat does not visit the dog.
("cat" "visits" "dog" "-")
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If something sees the rabbit and it sees the cow then the rabbit is rough.
((("something" "sees" "rabbit" "+") ("something" "sees" "cow" "+")) -> ("rabbit" "is" "rough" "+"))
If something visits the rabbit then it does not eat the rabbit.
((("something" "visits" "rabbit" "+")) -> ("something" "eats" "rabbit" "-"))
If the cat eats the dog then the dog eats the cat.
((("cat" "eats" "dog" "+")) -> ("dog" "eats" "cat" "+"))
If the rabbit is blue then the rabbit eats the dog.
((("rabbit" "is" "blue" "+")) -> ("rabbit" "eats" "dog" "+"))
If the dog is red then the dog does not eat the rabbit.
((("dog" "is" "red" "+")) -> ("dog" "eats" "rabbit" "-"))
If something visits the cat then it visits the cow.
((("something" "visits" "cat" "+")) -> ("something" "visits" "cow" "+"))
If something sees the cow and it is rough then it visits the cat.
((("something" "sees" "cow" "+") ("something" "is" "rough" "+")) -> ("something" "visits" "cat" "+"))
If something visits the rabbit and the rabbit is blue then the rabbit visits the cow.
((("something" "visits" "rabbit" "+") ("rabbit" "is" "blue" "+")) -> ("rabbit" "visits" "cow" "+"))
The dog sees the cow.
True
1
proof
[(triple7)]
("dog" "sees" "cow" "+")
triple7
The rabbit does not visit the cow.
False
1
inv-proof
[(triple11)]
("rabbit" "visits" "cow" "-")
triple11
The dog does not eat the rabbit.
True
2
proof
[(((triple9) -> rule2))]
("dog" "eats" "rabbit" "-")
((triple9) -> (rule2 % int1))
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
int1
The cow does not visit the cow.
False
2
inv-proof
[(((triple5) -> rule6))]
("cow" "visits" "cow" "-")
((triple5) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The rabbit does not visit the cat.
Unknown
inv-rconc
[@1: The rabbit visits the cat.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "visits" "cat" "-")
The cat visits the cow.
Unknown
rconc
[@2: The cat visits the cow.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("cat" "visits" "cow" "+")
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The rabbit eats the cow.
Unknown
random
[@0: The rabbit eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "cow" "+")
@0: The cat does not visit the dog.[(triple2)] The cat does not visit the rabbit.[(triple3)] The cat is not green.[(triple1)] The cow eats the dog.[(triple4)] The cow visits the cat.[(triple5)] The cow visits the dog.[(triple6)] The dog sees the cow.[(triple7)] The dog sees the rabbit.[(triple8)] The dog visits the rabbit.[(triple9)] The rabbit does not eat the dog.[(triple10)] The rabbit visits the cow.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The cow visits the cow.[(((triple5) -> rule6))] The dog does not eat the rabbit.[(((triple9) -> rule2))] The rabbit is rough.[(((triple8 triple7) -> rule1))]
The cat does not visit the dog.
("cat" "visits" "dog" "-")
triple2
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
triple3
The cat is not green.
("cat" "is" "green" "-")
triple1
The cow eats the dog.
("cow" "eats" "dog" "+")
triple4
The cow visits the cat.
("cow" "visits" "cat" "+")
triple5
The cow visits the dog.
("cow" "visits" "dog" "+")
triple6
The dog sees the cow.
("dog" "sees" "cow" "+")
triple7
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple8
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple9
The rabbit does not eat the dog.
("rabbit" "eats" "dog" "-")
triple10
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple11
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple12
The cow visits the cow.
("cow" "visits" "cow" "+")
((triple5) -> (rule6 % int1))
The cow visits the cow.
("cow" "visits" "cow" "+")
int1
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
((triple9) -> (rule2 % int1))
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple8 triple7) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1