The dog is kind. The dog is red. The dog is rough. The dog is round. The dog does not like the mouse. The dog sees the mouse. The dog visits the mouse. The mouse is big. The mouse is not kind. The mouse is red. The mouse is rough. The mouse is not round. The mouse likes the dog. The mouse sees the dog. The mouse visits the dog. If someone likes the dog then the dog visits the mouse. If someone sees the mouse then they visit the mouse.
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is not kind.
("mouse" "is" "kind" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is not round.
("mouse" "is" "round" "-")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If someone likes the dog then the dog visits the mouse.
((("someone" "likes" "dog" "+")) -> ("dog" "visits" "mouse" "+"))
If someone sees the mouse then they visit the mouse.
((("someone" "sees" "mouse" "+")) -> ("someone" "visits" "mouse" "+"))
The mouse sees the dog.
True
1
proof
[(triple14)]
("mouse" "sees" "dog" "+")
triple14
The mouse is not rough.
False
1
inv-proof
[(triple11)]
("mouse" "is" "rough" "-")
triple11
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The dog does not like the mouse.[(triple5)] The dog is kind.[(triple1)] The dog is red.[(triple2)] The dog is rough.[(triple3)] The dog is round.[(triple4)] The dog sees the mouse.[(triple6)] The dog visits the mouse.[(triple7 OR ((triple13) -> rule1) OR ((triple6) -> rule2))] The mouse is big.[(triple8)] The mouse is not kind.[(triple9)] The mouse is not round.[(triple12)] The mouse is red.[(triple10)] The mouse is rough.[(triple11)] The mouse likes the dog.[(triple13)] The mouse sees the dog.[(triple14)] The mouse visits the dog.[(triple15)]
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple1
The dog is red.
("dog" "is" "red" "+")
triple2
The dog is rough.
("dog" "is" "rough" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple6
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple7
((triple13) -> (rule1 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
((triple6) -> (rule2 % int1))
The dog visits the mouse.
("dog" "visits" "mouse" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
triple8
The mouse is not kind.
("mouse" "is" "kind" "-")
triple9
The mouse is not round.
("mouse" "is" "round" "-")
triple12
The mouse is red.
("mouse" "is" "red" "+")
triple10
The mouse is rough.
("mouse" "is" "rough" "+")
triple11
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple13
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple14
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple15