The bear chases the squirrel. The squirrel chases the bear. The squirrel visits the bear. If someone eats the bear and the bear visits the squirrel then they chase the squirrel. If someone is nice and rough then they eat the squirrel.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If someone eats the bear and the bear visits the squirrel then they chase the squirrel.
((("someone" "eats" "bear" "+") ("bear" "visits" "squirrel" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone is nice and rough then they eat the squirrel.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "eats" "squirrel" "+"))
The squirrel visits the bear.
True
1
proof
[(triple3)]
("squirrel" "visits" "bear" "+")
triple3
The squirrel does not visit the bear.
False
1
inv-proof
[(triple3)]
("squirrel" "visits" "bear" "-")
triple3
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel visits the squirrel.
Unknown
random
[@0: The squirrel visits the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "squirrel" "+")
@0: The bear chases the squirrel.[(triple1)] The squirrel chases the bear.[(triple2)] The squirrel visits the bear.[(triple3)]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple2
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple3