The cow eats the dog. The cow sees the rabbit. The dog is green. The dog sees the cow. The dog sees the rabbit. The dog visits the cow. The rabbit does not eat the cow. The rabbit eats the squirrel. The rabbit is cold. The rabbit sees the dog. The rabbit visits the dog. The rabbit visits the squirrel. The squirrel does not eat the cow. The squirrel eats the dog. The squirrel eats the rabbit. If something visits the squirrel then it is cold. If something visits the cow then it eats the cow. If something is cold then it does not see the rabbit. If something sees the dog then the dog eats the squirrel. If something sees the cow then the cow visits the rabbit. If the cow sees the squirrel and the cow does not visit the squirrel then the cow does not visit the dog. If something eats the dog then it sees the cow. If the rabbit does not eat the cow then the rabbit is kind.
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
If something visits the squirrel then it is cold.
((("something" "visits" "squirrel" "+")) -> ("something" "is" "cold" "+"))
If something visits the cow then it eats the cow.
((("something" "visits" "cow" "+")) -> ("something" "eats" "cow" "+"))
If something is cold then it does not see the rabbit.
((("something" "is" "cold" "+")) -> ("something" "sees" "rabbit" "-"))
If something sees the dog then the dog eats the squirrel.
((("something" "sees" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
If something sees the cow then the cow visits the rabbit.
((("something" "sees" "cow" "+")) -> ("cow" "visits" "rabbit" "+"))
If the cow sees the squirrel and the cow does not visit the squirrel then the cow does not visit the dog.
((("cow" "sees" "squirrel" "+") ("cow" "visits" "squirrel" "~")) -> ("cow" "visits" "dog" "-"))
If something eats the dog then it sees the cow.
((("something" "eats" "dog" "+")) -> ("something" "sees" "cow" "+"))
If the rabbit does not eat the cow then the rabbit is kind.
((("rabbit" "eats" "cow" "~")) -> ("rabbit" "is" "kind" "+"))
The cow sees the rabbit.
True
1
proof
[(triple2)]
("cow" "sees" "rabbit" "+")
triple2
The rabbit does not eat the squirrel.
False
1
inv-proof
[(triple8)]
("rabbit" "eats" "squirrel" "-")
triple8
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "cold" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The cow eats the dog.[(triple1)] The cow sees the rabbit.[(triple2)] The dog is green.[(triple3)] The dog sees the cow.[(triple4)] The dog sees the rabbit.[(triple5)] The dog visits the cow.[(triple6)] The rabbit does not eat the cow.[(triple7)] The rabbit eats the squirrel.[(triple8)] The rabbit is cold.[(triple9 OR ((triple12) -> rule1))] The rabbit sees the dog.[(triple10)] The rabbit visits the dog.[(triple11)] The rabbit visits the squirrel.[(triple12)] The squirrel does not eat the cow.[(triple13)] The squirrel eats the dog.[(triple14)] The squirrel eats the rabbit.[(triple15)] @1: The cow sees the cow.[(((triple1) -> rule7))] The cow visits the rabbit.[(((triple4) -> rule5) OR ((((triple1) -> rule7)) -> rule5) OR ((((triple14) -> rule7)) -> rule5))] The dog eats the cow.[(((triple6) -> rule2))] The dog eats the squirrel.[(((triple10) -> rule4))] The rabbit does not see the rabbit.[(((triple9) -> rule3) OR ((((triple12) -> rule1)) -> rule3))] The rabbit is kind.[(((triple7) -> rule8))] The squirrel sees the cow.[(((triple14) -> rule7))]
The cow eats the dog.
("cow" "eats" "dog" "+")
triple1
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog sees the cow.
("dog" "sees" "cow" "+")
triple4
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple5
The dog visits the cow.
("dog" "visits" "cow" "+")
triple6
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
triple7
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple8
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
((triple12) -> (rule1 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple10
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple11
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple12
The squirrel does not eat the cow.
("squirrel" "eats" "cow" "-")
triple13
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple14
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple15
The cow sees the cow.
("cow" "sees" "cow" "+")
((triple1) -> (rule7 % int1))
The cow sees the cow.
("cow" "sees" "cow" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
((triple4) -> (rule5 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule5 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The cow sees the cow.
("cow" "sees" "cow" "+")
int2
((((triple14) -> (rule7 % int2))) -> (rule5 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int2
The dog eats the cow.
("dog" "eats" "cow" "+")
((triple6) -> (rule2 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
((triple10) -> (rule4 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The rabbit does not see the rabbit.
("rabbit" "sees" "rabbit" "-")
((triple9) -> (rule3 % int1))
The rabbit does not see the rabbit.
("rabbit" "sees" "rabbit" "-")
int1
((((triple12) -> (rule1 % int2))) -> (rule3 % int1))
The rabbit does not see the rabbit.
("rabbit" "sees" "rabbit" "-")
int1
The rabbit is cold.
("rabbit" "is" "cold" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple7) -> (rule8 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
((triple14) -> (rule7 % int1))
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
int1