The lion chases the squirrel. The lion chases the tiger. The lion eats the squirrel. The lion eats the tiger. The lion is green. The lion is young. The lion visits the squirrel. The lion visits the tiger. The squirrel is blue. The tiger is kind. The tiger visits the lion. The tiger visits the squirrel. If the lion chases the squirrel then the squirrel is young. If something visits the lion then it chases the lion. If something visits the tiger and it visits the squirrel then the tiger is young.
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion eats the tiger.
("lion" "eats" "tiger" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is young.
("lion" "is" "young" "+")
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
The lion visits the tiger.
("lion" "visits" "tiger" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If the lion chases the squirrel then the squirrel is young.
((("lion" "chases" "squirrel" "+")) -> ("squirrel" "is" "young" "+"))
If something visits the lion then it chases the lion.
((("something" "visits" "lion" "+")) -> ("something" "chases" "lion" "+"))
If something visits the tiger and it visits the squirrel then the tiger is young.
((("something" "visits" "tiger" "+") ("something" "visits" "squirrel" "+")) -> ("tiger" "is" "young" "+"))
The lion chases the squirrel.
True
1
proof
[(triple1)]
("lion" "chases" "squirrel" "+")
triple1
The lion is not green.
False
1
inv-proof
[(triple5)]
("lion" "is" "green" "-")
triple5
The tiger is young.
True
3
proof
[(((triple8 triple7) -> rule3))]
("tiger" "is" "young" "+")
((triple8 triple7) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger does not chase the lion.
False
2
inv-proof
[(((triple11) -> rule2))]
("tiger" "chases" "lion" "-")
((triple11) -> (rule2 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "lion" "-")
The squirrel chases the lion.
Unknown
rconc
[@1: The squirrel chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "chases" "lion" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The squirrel visits the lion.
Unknown
random
[@0: The squirrel visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "lion" "+")
@0: The lion chases the squirrel.[(triple1)] The lion chases the tiger.[(triple2)] The lion eats the squirrel.[(triple3)] The lion eats the tiger.[(triple4)] The lion is green.[(triple5)] The lion is young.[(triple6)] The lion visits the squirrel.[(triple7)] The lion visits the tiger.[(triple8)] The squirrel is blue.[(triple9)] The tiger is kind.[(triple10)] The tiger visits the lion.[(triple11)] The tiger visits the squirrel.[(triple12)] @1: The squirrel is young.[(((triple1) -> rule1))] The tiger chases the lion.[(((triple11) -> rule2))] The tiger is young.[(((triple8 triple7) -> rule3))]
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple2
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple3
The lion eats the tiger.
("lion" "eats" "tiger" "+")
triple4
The lion is green.
("lion" "is" "green" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
triple7
The lion visits the tiger.
("lion" "visits" "tiger" "+")
triple8
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The tiger is kind.
("tiger" "is" "kind" "+")
triple10
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple11
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
((triple1) -> (rule1 % int1))
The squirrel is young.
("squirrel" "is" "young" "+")
int1
The tiger chases the lion.
("tiger" "chases" "lion" "+")
((triple11) -> (rule2 % int1))
The tiger chases the lion.
("tiger" "chases" "lion" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
((triple8 triple7) -> (rule3 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1