The bear is blue. The cat does not eat the bear. The cat does not eat the cow. The cat is green. The cat sees the cow. The cat sees the dog. The cow eats the bear. The cow eats the cat. The cow eats the dog. The cow is blue. The cow does not need the cat. The dog is kind. The dog is round. The dog does not need the bear. The dog sees the cat. If someone is blue and they eat the cat then they are green. If someone needs the dog and they do not see the cat then they need the cow. If someone eats the cat and the cat is not rough then they see the dog.
The bear is blue.
("bear" "is" "blue" "+")
The cat does not eat the bear.
("cat" "eats" "bear" "-")
The cat does not eat the cow.
("cat" "eats" "cow" "-")
The cat is green.
("cat" "is" "green" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow does not need the cat.
("cow" "needs" "cat" "-")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog does not need the bear.
("dog" "needs" "bear" "-")
The dog sees the cat.
("dog" "sees" "cat" "+")
If someone is blue and they eat the cat then they are green.
((("someone" "is" "blue" "+") ("someone" "eats" "cat" "+")) -> ("someone" "is" "green" "+"))
If someone needs the dog and they do not see the cat then they need the cow.
((("someone" "needs" "dog" "+") ("someone" "sees" "cat" "~")) -> ("someone" "needs" "cow" "+"))
If someone eats the cat and the cat is not rough then they see the dog.
((("someone" "eats" "cat" "+") ("cat" "is" "rough" "~")) -> ("someone" "sees" "dog" "+"))
The cow eats the bear.
True
1
proof
[(triple7)]
("cow" "eats" "bear" "+")
triple7
The cat eats the cow.
False
1
inv-proof
[(triple3)]
("cat" "eats" "cow" "+")
triple3
The cat does not need the cow.
Unknown
inv-rconc
[@1: The cat needs the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "needs" "cow" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is blue.[(triple1)] The cat does not eat the bear.[(triple2)] The cat does not eat the cow.[(triple3)] The cat is green.[(triple4)] The cat sees the cow.[(triple5)] The cat sees the dog.[(triple6)] The cow does not need the cat.[(triple11)] The cow eats the bear.[(triple7)] The cow eats the cat.[(triple8)] The cow eats the dog.[(triple9)] The cow is blue.[(triple10)] The dog does not need the bear.[(triple14)] The dog is kind.[(triple12)] The dog is round.[(triple13)] The dog sees the cat.[(triple15)] @1: The cow is green.[(((triple10 triple8) -> rule1))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
The cat does not eat the bear.
("cat" "eats" "bear" "-")
triple2
The cat does not eat the cow.
("cat" "eats" "cow" "-")
triple3
The cat is green.
("cat" "is" "green" "+")
triple4
The cat sees the cow.
("cat" "sees" "cow" "+")
triple5
The cat sees the dog.
("cat" "sees" "dog" "+")
triple6
The cow does not need the cat.
("cow" "needs" "cat" "-")
triple11
The cow eats the bear.
("cow" "eats" "bear" "+")
triple7
The cow eats the cat.
("cow" "eats" "cat" "+")
triple8
The cow eats the dog.
("cow" "eats" "dog" "+")
triple9
The cow is blue.
("cow" "is" "blue" "+")
triple10
The dog does not need the bear.
("dog" "needs" "bear" "-")
triple14
The dog is kind.
("dog" "is" "kind" "+")
triple12
The dog is round.
("dog" "is" "round" "+")
triple13
The dog sees the cat.
("dog" "sees" "cat" "+")
triple15
The cow is green.
("cow" "is" "green" "+")
((triple10 triple8) -> (rule1 % int1))
The cow is green.
("cow" "is" "green" "+")
int1