The cow chases the mouse. The cow is big. The cow is round. The cow needs the dog. The dog needs the cow. The dog visits the tiger. The mouse chases the dog. The mouse chases the tiger. The mouse is big. The mouse is green. The mouse is kind. The mouse needs the cow. The mouse needs the dog. The mouse visits the tiger. The tiger is kind. If someone visits the cow and the cow chases the dog then the dog is cold.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is round.
("cow" "is" "round" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog visits the tiger.
("dog" "visits" "tiger" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If someone visits the cow and the cow chases the dog then the dog is cold.
((("someone" "visits" "cow" "+") ("cow" "chases" "dog" "+")) -> ("dog" "is" "cold" "+"))
The mouse is big.
True
1
proof
[(triple9)]
("mouse" "is" "big" "+")
triple9
The dog does not visit the tiger.
False
1
inv-proof
[(triple6)]
("dog" "visits" "tiger" "-")
triple6
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "cold" "-")
The mouse needs the tiger.
Unknown
random
[@0: The mouse needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "tiger" "+")
@0: The cow chases the mouse.[(triple1)] The cow is big.[(triple2)] The cow is round.[(triple3)] The cow needs the dog.[(triple4)] The dog needs the cow.[(triple5)] The dog visits the tiger.[(triple6)] The mouse chases the dog.[(triple7)] The mouse chases the tiger.[(triple8)] The mouse is big.[(triple9)] The mouse is green.[(triple10)] The mouse is kind.[(triple11)] The mouse needs the cow.[(triple12)] The mouse needs the dog.[(triple13)] The mouse visits the tiger.[(triple14)] The tiger is kind.[(triple15)]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow needs the dog.
("cow" "needs" "dog" "+")
triple4
The dog needs the cow.
("dog" "needs" "cow" "+")
triple5
The dog visits the tiger.
("dog" "visits" "tiger" "+")
triple6
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple7
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse is kind.
("mouse" "is" "kind" "+")
triple11
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple12
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple13
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple14
The tiger is kind.
("tiger" "is" "kind" "+")
triple15