The bear eats the lion. The dog visits the squirrel. The lion does not eat the squirrel. The squirrel visits the lion. Cold people are young. If the bear eats the lion then the lion chases the dog. If someone is rough and they do not visit the bear then the bear is not blue.
The bear eats the lion.
("bear" "eats" "lion" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If the bear eats the lion then the lion chases the dog.
((("bear" "eats" "lion" "+")) -> ("lion" "chases" "dog" "+"))
If someone is rough and they do not visit the bear then the bear is not blue.
((("someone" "is" "rough" "+") ("someone" "visits" "bear" "~")) -> ("bear" "is" "blue" "-"))
The lion does not eat the squirrel.
True
1
proof
[(triple3)]
("lion" "eats" "squirrel" "-")
triple3
The bear does not eat the lion.
False
1
inv-proof
[(triple1)]
("bear" "eats" "lion" "-")
triple1
The lion is not young.
Unknown
inv-rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "is" "young" "-")
The lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The bear eats the lion.[(triple1)] The dog visits the squirrel.[(triple2)] The lion does not eat the squirrel.[(triple3)] The squirrel visits the lion.[(triple4)] @1: The lion chases the dog.[(((triple1) -> rule2))]
The bear eats the lion.
("bear" "eats" "lion" "+")
triple1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple2
The lion does not eat the squirrel.
("lion" "eats" "squirrel" "-")
triple3
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple4
The lion chases the dog.
("lion" "chases" "dog" "+")
((triple1) -> (rule2 % int1))
The lion chases the dog.
("lion" "chases" "dog" "+")
int1