The lion chases the mouse. The lion does not chase the squirrel. The lion is kind. The lion is red. The lion likes the mouse. The mouse is nice. The mouse is not young. The mouse does not like the squirrel. The squirrel chases the tiger. The squirrel likes the lion. The squirrel visits the tiger. The tiger chases the lion. The tiger likes the lion. The tiger likes the mouse. The tiger likes the squirrel. If the mouse likes the lion and the mouse does not visit the tiger then the tiger chases the mouse. All nice people are kind. If someone is nice and they chase the squirrel then they visit the mouse. If someone is kind then they like the tiger. If someone likes the squirrel then they are nice. If someone visits the tiger and they are not rough then the tiger chases the squirrel. If the mouse visits the tiger and the mouse does not chase the squirrel then the tiger is not young. If someone likes the tiger and the tiger does not visit the lion then the lion is kind.
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
The lion is kind.
("lion" "is" "kind" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is not young.
("mouse" "is" "young" "-")
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger likes the lion.
("tiger" "likes" "lion" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
If the mouse likes the lion and the mouse does not visit the tiger then the tiger chases the mouse.
((("mouse" "likes" "lion" "+") ("mouse" "visits" "tiger" "~")) -> ("tiger" "chases" "mouse" "+"))
All nice people are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and they chase the squirrel then they visit the mouse.
((("someone" "is" "nice" "+") ("someone" "chases" "squirrel" "+")) -> ("someone" "visits" "mouse" "+"))
If someone is kind then they like the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the squirrel then they are nice.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the tiger and they are not rough then the tiger chases the squirrel.
((("someone" "visits" "tiger" "+") ("someone" "is" "rough" "~")) -> ("tiger" "chases" "squirrel" "+"))
If the mouse visits the tiger and the mouse does not chase the squirrel then the tiger is not young.
((("mouse" "visits" "tiger" "+") ("mouse" "chases" "squirrel" "~")) -> ("tiger" "is" "young" "-"))
If someone likes the tiger and the tiger does not visit the lion then the lion is kind.
((("someone" "likes" "tiger" "+") ("tiger" "visits" "lion" "~")) -> ("lion" "is" "kind" "+"))
The mouse does not like the squirrel.
True
1
proof
[(triple8)]
("mouse" "likes" "squirrel" "-")
triple8
The squirrel does not visit the tiger.
False
1
inv-proof
[(triple11)]
("squirrel" "visits" "tiger" "-")
triple11
The tiger is nice.
True
2
proof
[(((triple15) -> rule5))]
("tiger" "is" "nice" "+")
((triple15) -> (rule5 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The mouse is not kind.
False
2
inv-proof
[(((triple6) -> rule2))]
("mouse" "is" "kind" "-")
((triple6) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse likes the tiger.
True
3
proof
[(((((triple6) -> rule2)) -> rule4))]
("mouse" "likes" "tiger" "+")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The mouse does not like the tiger.
False
3
inv-proof
[(((((triple6) -> rule2)) -> rule4))]
("mouse" "likes" "tiger" "-")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The tiger likes the tiger.
True
4
proof
[(((((((triple15) -> rule5)) -> rule2)) -> rule4))]
("tiger" "likes" "tiger" "+")
((((((triple15) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger does not like the tiger.
False
4
inv-proof
[(((((((triple15) -> rule5)) -> rule2)) -> rule4))]
("tiger" "likes" "tiger" "-")
((((((triple15) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3
The tiger does not visit the mouse.
Unknown
inv-rconc
[@2: The tiger visits the mouse.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("tiger" "visits" "mouse" "-")
The tiger chases the squirrel.
Unknown
rconc
[@1: The tiger chases the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "chases" "squirrel" "+")
The squirrel does not visit the mouse.
Unknown
inv-rconc
[@1: The squirrel visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "visits" "mouse" "-")
The lion is nice.
Unknown
rconc
[@1: The lion is nice.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "nice" "+")
The lion does not chase the tiger.
Unknown
inv-random
[@0: The lion chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "tiger" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
The mouse does not visit the tiger.
Unknown
inv-random
[@0: The mouse visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "tiger" "-")
The squirrel chases the lion.
Unknown
random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "+")
@0: The lion chases the mouse.[(triple1)] The lion does not chase the squirrel.[(triple2)] The lion is kind.[(triple3)] The lion is red.[(triple4)] The lion likes the mouse.[(triple5)] The mouse does not like the squirrel.[(triple8)] The mouse is nice.[(triple6)] The mouse is not young.[(triple7)] The squirrel chases the tiger.[(triple9)] The squirrel likes the lion.[(triple10)] The squirrel visits the tiger.[(triple11)] The tiger chases the lion.[(triple12)] The tiger likes the lion.[(triple13)] The tiger likes the mouse.[(triple14)] The tiger likes the squirrel.[(triple15)] @1: The lion likes the tiger.[(((triple3) -> rule4))] The mouse is kind.[(((triple6) -> rule2))] The tiger is nice.[(((triple15) -> rule5))] @2: The mouse likes the tiger.[(((((triple6) -> rule2)) -> rule4))] The tiger is kind.[(((((triple15) -> rule5)) -> rule2))] @3: The tiger likes the tiger.[(((((((triple15) -> rule5)) -> rule2)) -> rule4))]
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple1
The lion does not chase the squirrel.
("lion" "chases" "squirrel" "-")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3
The lion is red.
("lion" "is" "red" "+")
triple4
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple5
The mouse does not like the squirrel.
("mouse" "likes" "squirrel" "-")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The mouse is not young.
("mouse" "is" "young" "-")
triple7
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple9
The squirrel likes the lion.
("squirrel" "likes" "lion" "+")
triple10
The squirrel visits the tiger.
("squirrel" "visits" "tiger" "+")
triple11
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple12
The tiger likes the lion.
("tiger" "likes" "lion" "+")
triple13
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple14
The tiger likes the squirrel.
("tiger" "likes" "squirrel" "+")
triple15
The lion likes the tiger.
("lion" "likes" "tiger" "+")
((triple3) -> (rule4 % int1))
The lion likes the tiger.
("lion" "likes" "tiger" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
((triple6) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
((triple15) -> (rule5 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
((((triple6) -> (rule2 % int2))) -> (rule4 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
((((triple15) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((((((triple15) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
int3