The bear chases the cow. The bear chases the dog. The bear is not blue. The bear needs the cow. The bear visits the cow. The cow needs the bear. The cow visits the bear. The dog chases the bear. The dog chases the mouse. The dog needs the cow. The dog visits the bear. The mouse visits the dog. If something needs the bear and it is kind then it chases the cow. If something visits the dog and the dog is round then it chases the dog. If something chases the bear and the bear chases the mouse then the bear is big. If something needs the cow and it is not blue then the cow is not big. If something visits the mouse and it is not nice then it does not need the mouse. If something chases the bear then the bear visits the cow. If the mouse needs the bear and the mouse is not round then the mouse visits the bear. If something needs the dog and it is nice then the dog does not need the mouse.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If something needs the bear and it is kind then it chases the cow.
((("something" "needs" "bear" "+") ("something" "is" "kind" "+")) -> ("something" "chases" "cow" "+"))
If something visits the dog and the dog is round then it chases the dog.
((("something" "visits" "dog" "+") ("dog" "is" "round" "+")) -> ("something" "chases" "dog" "+"))
If something chases the bear and the bear chases the mouse then the bear is big.
((("something" "chases" "bear" "+") ("bear" "chases" "mouse" "+")) -> ("bear" "is" "big" "+"))
If something needs the cow and it is not blue then the cow is not big.
((("something" "needs" "cow" "+") ("something" "is" "blue" "~")) -> ("cow" "is" "big" "-"))
If something visits the mouse and it is not nice then it does not need the mouse.
((("something" "visits" "mouse" "+") ("something" "is" "nice" "~")) -> ("something" "needs" "mouse" "-"))
If something chases the bear then the bear visits the cow.
((("something" "chases" "bear" "+")) -> ("bear" "visits" "cow" "+"))
If the mouse needs the bear and the mouse is not round then the mouse visits the bear.
((("mouse" "needs" "bear" "+") ("mouse" "is" "round" "~")) -> ("mouse" "visits" "bear" "+"))
If something needs the dog and it is nice then the dog does not need the mouse.
((("something" "needs" "dog" "+") ("something" "is" "nice" "+")) -> ("dog" "needs" "mouse" "-"))
The bear visits the cow.
True
1
proof
[(triple5 OR ((triple8) -> rule6))]
("bear" "visits" "cow" "+")
triple5
((triple8) -> (rule6 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear does not chase the cow.
False
1
inv-proof
[(triple1)]
("bear" "chases" "cow" "-")
triple1
The cow is not big.
True
3
proof
[(((triple4 triple3) -> rule4))]
("cow" "is" "big" "-")
((triple4 triple3) -> (rule4 % int1))
The cow is not big.
("cow" "is" "big" "-")
int1
The cow is big.
False
3
inv-proof
[(((triple4 triple3) -> rule4))]
("cow" "is" "big" "+")
((triple4 triple3) -> (rule4 % int1))
The cow is not big.
("cow" "is" "big" "-")
int1
The mouse does not visit the bear.
Unknown
inv-rconc
[@1: The mouse visits the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "visits" "bear" "-")
The mouse chases the cow.
Unknown
rconc
[@1: The mouse chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "chases" "cow" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The bear chases the cow.[(triple1)] The bear chases the dog.[(triple2)] The bear is not blue.[(triple3)] The bear needs the cow.[(triple4)] The bear visits the cow.[(triple5 OR ((triple8) -> rule6))] The cow needs the bear.[(triple6)] The cow visits the bear.[(triple7)] The dog chases the bear.[(triple8)] The dog chases the mouse.[(triple9)] The dog needs the cow.[(triple10)] The dog visits the bear.[(triple11)] The mouse visits the dog.[(triple12)] @1: The cow is not big.[(((triple4 triple3) -> rule4))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear chases the dog.
("bear" "chases" "dog" "+")
triple2
The bear is not blue.
("bear" "is" "blue" "-")
triple3
The bear needs the cow.
("bear" "needs" "cow" "+")
triple4
The bear visits the cow.
("bear" "visits" "cow" "+")
triple5
((triple8) -> (rule6 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
triple6
The cow visits the bear.
("cow" "visits" "bear" "+")
triple7
The dog chases the bear.
("dog" "chases" "bear" "+")
triple8
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple9
The dog needs the cow.
("dog" "needs" "cow" "+")
triple10
The dog visits the bear.
("dog" "visits" "bear" "+")
triple11
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple12
The cow is not big.
("cow" "is" "big" "-")
((triple4 triple3) -> (rule4 % int1))
The cow is not big.
("cow" "is" "big" "-")
int1