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