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