The cat sees the squirrel. The mouse chases the tiger. The squirrel is young. The tiger eats the cat. If something is nice then it sees the mouse. If something is nice then it sees the cat. If the squirrel chases the tiger then the squirrel chases the cat. If something chases the mouse then the mouse eats the tiger. If something sees the mouse and it sees the cat then the mouse sees the squirrel. If something eats the squirrel then it sees the mouse.
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
If something is nice then it sees the mouse.
((("something" "is" "nice" "+")) -> ("something" "sees" "mouse" "+"))
If something is nice then it sees the cat.
((("something" "is" "nice" "+")) -> ("something" "sees" "cat" "+"))
If the squirrel chases the tiger then the squirrel chases the cat.
((("squirrel" "chases" "tiger" "+")) -> ("squirrel" "chases" "cat" "+"))
If something chases the mouse then the mouse eats the tiger.
((("something" "chases" "mouse" "+")) -> ("mouse" "eats" "tiger" "+"))
If something sees the mouse and it sees the cat then the mouse sees the squirrel.
((("something" "sees" "mouse" "+") ("something" "sees" "cat" "+")) -> ("mouse" "sees" "squirrel" "+"))
If something eats the squirrel then it sees the mouse.
((("something" "eats" "squirrel" "+")) -> ("something" "sees" "mouse" "+"))
The cat sees the squirrel.
True
1
proof
[(triple1)]
("cat" "sees" "squirrel" "+")
triple1
The mouse does not chase the tiger.
False
1
inv-proof
[(triple2)]
("mouse" "chases" "tiger" "-")
triple2
The cat does not see the mouse.
Unknown
inv-rconc
[@1: The cat sees the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "mouse" "-")
The cat is round.
Unknown
random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "+")
@0: The cat sees the squirrel.[(triple1)] The mouse chases the tiger.[(triple2)] The squirrel is young.[(triple3)] The tiger eats the cat.[(triple4)]
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple1
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple2
The squirrel is young.
("squirrel" "is" "young" "+")
triple3
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple4