The bear visits the mouse. The dog is big. The dog is nice. The dog is red. The dog likes the bear. The dog likes the mouse. The dog sees the bear. The dog sees the mouse. The dog visits the bear. The dog visits the mouse. The mouse likes the dog. The mouse sees the bear. If something is red and it does not see the dog then the dog likes the mouse. If something sees the dog then the dog likes the mouse. If the bear is green then the bear is nice. If the bear is nice and the bear does not like the dog then the bear visits the dog. If something likes the bear and it is not red then it does not see the mouse. If the dog visits the mouse then the mouse is big.
The bear visits the mouse.
("bear" "visits" "mouse" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog sees the mouse.
("dog" "sees" "mouse" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
If something is red and it does not see the dog then the dog likes the mouse.
((("something" "is" "red" "+") ("something" "sees" "dog" "~")) -> ("dog" "likes" "mouse" "+"))
If something sees the dog then the dog likes the mouse.
((("something" "sees" "dog" "+")) -> ("dog" "likes" "mouse" "+"))
If the bear is green then the bear is nice.
((("bear" "is" "green" "+")) -> ("bear" "is" "nice" "+"))
If the bear is nice and the bear does not like the dog then the bear visits the dog.
((("bear" "is" "nice" "+") ("bear" "likes" "dog" "~")) -> ("bear" "visits" "dog" "+"))
If something likes the bear and it is not red then it does not see the mouse.
((("something" "likes" "bear" "+") ("something" "is" "red" "~")) -> ("something" "sees" "mouse" "-"))
If the dog visits the mouse then the mouse is big.
((("dog" "visits" "mouse" "+")) -> ("mouse" "is" "big" "+"))
The dog visits the bear.
True
1
proof
[(triple9)]
("dog" "visits" "bear" "+")
triple9
The dog does not see the mouse.
False
1
inv-proof
[(triple8)]
("dog" "sees" "mouse" "-")
triple8
The mouse is big.
True
2
proof
[(((triple10) -> rule6))]
("mouse" "is" "big" "+")
((triple10) -> (rule6 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is not big.
False
2
inv-proof
[(((triple10) -> rule6))]
("mouse" "is" "big" "-")
((triple10) -> (rule6 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "nice" "-")
The bear visits the dog.
Unknown
rconc
[@1: The bear visits the dog.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "visits" "dog" "+")
The bear does not like the mouse.
Unknown
inv-random
[@0: The bear likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "mouse" "-")
The bear is red.
Unknown
random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "+")
@0: The bear visits the mouse.[(triple1)] The dog is big.[(triple2)] The dog is nice.[(triple3)] The dog is red.[(triple4)] The dog likes the bear.[(triple5)] The dog likes the mouse.[(triple6)] The dog sees the bear.[(triple7)] The dog sees the mouse.[(triple8)] The dog visits the bear.[(triple9)] The dog visits the mouse.[(triple10)] The mouse likes the dog.[(triple11)] The mouse sees the bear.[(triple12)] @1: The mouse is big.[(((triple10) -> rule6))]
The bear visits the mouse.
("bear" "visits" "mouse" "+")
triple1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is nice.
("dog" "is" "nice" "+")
triple3
The dog is red.
("dog" "is" "red" "+")
triple4
The dog likes the bear.
("dog" "likes" "bear" "+")
triple5
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple6
The dog sees the bear.
("dog" "sees" "bear" "+")
triple7
The dog sees the mouse.
("dog" "sees" "mouse" "+")
triple8
The dog visits the bear.
("dog" "visits" "bear" "+")
triple9
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple10
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple11
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple12
The mouse is big.
("mouse" "is" "big" "+")
((triple10) -> (rule6 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1