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