The bear eats the cow. The cow is blue. The cow is green. The cow is rough. The cow is young. The cow needs the bear. The cow needs the dog. The cow visits the bear. The cow visits the dog. The dog eats the bear. The dog eats the cow. The dog is blue. The dog is green. The dog needs the bear. The dog needs the cow. The dog visits the bear. If someone eats the bear then they eat the dog. If someone eats the bear then they visit the dog. If the dog needs the cow and the cow needs the bear then the bear is young. If someone is nice and they visit the cow then the cow visits the dog. If someone is blue and they eat the cow then the cow needs the dog. If someone visits the cow and they eat the cow then the cow needs the dog. If someone eats the cow and they eat the bear then they need the bear. If someone visits the cow and the cow visits the bear then the bear eats the cow.
The bear eats the cow.
("bear" "eats" "cow" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is young.
("cow" "is" "young" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
If someone eats the bear then they eat the dog.
((("someone" "eats" "bear" "+")) -> ("someone" "eats" "dog" "+"))
If someone eats the bear then they visit the dog.
((("someone" "eats" "bear" "+")) -> ("someone" "visits" "dog" "+"))
If the dog needs the cow and the cow needs the bear then the bear is young.
((("dog" "needs" "cow" "+") ("cow" "needs" "bear" "+")) -> ("bear" "is" "young" "+"))
If someone is nice and they visit the cow then the cow visits the dog.
((("someone" "is" "nice" "+") ("someone" "visits" "cow" "+")) -> ("cow" "visits" "dog" "+"))
If someone is blue and they eat the cow then the cow needs the dog.
((("someone" "is" "blue" "+") ("someone" "eats" "cow" "+")) -> ("cow" "needs" "dog" "+"))
If someone visits the cow and they eat the cow then the cow needs the dog.
((("someone" "visits" "cow" "+") ("someone" "eats" "cow" "+")) -> ("cow" "needs" "dog" "+"))
If someone eats the cow and they eat the bear then they need the bear.
((("someone" "eats" "cow" "+") ("someone" "eats" "bear" "+")) -> ("someone" "needs" "bear" "+"))
If someone visits the cow and the cow visits the bear then the bear eats the cow.
((("someone" "visits" "cow" "+") ("cow" "visits" "bear" "+")) -> ("bear" "eats" "cow" "+"))
The dog is blue.
True
1
proof
[(triple12)]
("dog" "is" "blue" "+")
triple12
The cow is not young.
False
1
inv-proof
[(triple5)]
("cow" "is" "young" "-")
triple5
The bear is young.
True
3
proof
[(((triple15 triple6) -> rule3))]
("bear" "is" "young" "+")
((triple15 triple6) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The dog does not eat the dog.
False
2
inv-proof
[(((triple10) -> rule1))]
("dog" "eats" "dog" "-")
((triple10) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The bear does not eat the dog.
Unknown
inv-rconc
[@1: The bear eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "dog" "-")
The cow eats the dog.
Unknown
rconc
[@1: The cow eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "dog" "+")
The bear does not need the cow.
Unknown
inv-random
[@0: The bear needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cow" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The bear eats the cow.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is rough.[(triple4)] The cow is young.[(triple5)] The cow needs the bear.[(triple6)] The cow needs the dog.[(triple7 OR ((triple12 triple11) -> rule5))] The cow visits the bear.[(triple8)] The cow visits the dog.[(triple9)] The dog eats the bear.[(triple10)] The dog eats the cow.[(triple11)] The dog is blue.[(triple12)] The dog is green.[(triple13)] The dog needs the bear.[(triple14 OR ((triple11 triple10) -> rule7))] The dog needs the cow.[(triple15)] The dog visits the bear.[(triple16)] @1: The bear is young.[(((triple15 triple6) -> rule3))] The dog eats the dog.[(((triple10) -> rule1))] The dog visits the dog.[(((triple10) -> rule2))]
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow is young.
("cow" "is" "young" "+")
triple5
The cow needs the bear.
("cow" "needs" "bear" "+")
triple6
The cow needs the dog.
("cow" "needs" "dog" "+")
triple7
((triple12 triple11) -> (rule5 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
triple8
The cow visits the dog.
("cow" "visits" "dog" "+")
triple9
The dog eats the bear.
("dog" "eats" "bear" "+")
triple10
The dog eats the cow.
("dog" "eats" "cow" "+")
triple11
The dog is blue.
("dog" "is" "blue" "+")
triple12
The dog is green.
("dog" "is" "green" "+")
triple13
The dog needs the bear.
("dog" "needs" "bear" "+")
triple14
((triple11 triple10) -> (rule7 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
triple15
The dog visits the bear.
("dog" "visits" "bear" "+")
triple16
The bear is young.
("bear" "is" "young" "+")
((triple15 triple6) -> (rule3 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple10) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple10) -> (rule2 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1