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