The cat chases the lion. The cat is red. The cat needs the squirrel. The lion chases the cat. The lion chases the squirrel. The lion is cold. The lion is kind. The lion is rough. The lion needs the cat. The lion does not visit the squirrel. The squirrel is rough. The squirrel needs the cat. Rough things are kind. If something is cold and it does not chase the squirrel then the squirrel is rough.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is red.
("cat" "is" "red" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
Rough things are kind.
((("something" "is" "rough" "+")) -> ("something" "is" "kind" "+"))
If something is cold and it does not chase the squirrel then the squirrel is rough.
((("something" "is" "cold" "+") ("something" "chases" "squirrel" "~")) -> ("squirrel" "is" "rough" "+"))
The cat is red.
True
1
proof
[(triple2)]
("cat" "is" "red" "+")
triple2
The lion does not need the cat.
False
1
inv-proof
[(triple9)]
("lion" "needs" "cat" "-")
triple9
The cat is not kind.
Unknown
inv-rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "kind" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The cat chases the lion.[(triple1)] The cat is red.[(triple2)] The cat needs the squirrel.[(triple3)] The lion chases the cat.[(triple4)] The lion chases the squirrel.[(triple5)] The lion does not visit the squirrel.[(triple10)] The lion is cold.[(triple6)] The lion is kind.[(triple7 OR ((triple8) -> rule1))] The lion is rough.[(triple8)] The lion needs the cat.[(triple9)] The squirrel is rough.[(triple11)] The squirrel needs the cat.[(triple12)] @1: The squirrel is kind.[(((triple11) -> rule1))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple3
The lion chases the cat.
("lion" "chases" "cat" "+")
triple4
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple5
The lion does not visit the squirrel.
("lion" "visits" "squirrel" "-")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple6
The lion is kind.
("lion" "is" "kind" "+")
triple7
((triple8) -> (rule1 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
triple8
The lion needs the cat.
("lion" "needs" "cat" "+")
triple9
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple11
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple12
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple11) -> (rule1 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1