The bear is cold. The bear visits the cow. The cow visits the bear. The squirrel eats the cow. The squirrel is red. The squirrel is young. The squirrel visits the bear. If something sees the squirrel then it visits the cow. If something visits the squirrel and it sees the cow then the cow visits the bear. All rough things are young. If something sees the squirrel and it is cold then it visits the cow. If something is red and cold then it sees the cow. If something eats the bear and it is red then it sees the cow.
The bear is cold.
("bear" "is" "cold" "+")
The bear visits the cow.
("bear" "visits" "cow" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something sees the squirrel then it visits the cow.
((("something" "sees" "squirrel" "+")) -> ("something" "visits" "cow" "+"))
If something visits the squirrel and it sees the cow then the cow visits the bear.
((("something" "visits" "squirrel" "+") ("something" "sees" "cow" "+")) -> ("cow" "visits" "bear" "+"))
All rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something sees the squirrel and it is cold then it visits the cow.
((("something" "sees" "squirrel" "+") ("something" "is" "cold" "+")) -> ("something" "visits" "cow" "+"))
If something is red and cold then it sees the cow.
((("something" "is" "red" "+") ("something" "is" "cold" "+")) -> ("something" "sees" "cow" "+"))
If something eats the bear and it is red then it sees the cow.
((("something" "eats" "bear" "+") ("something" "is" "red" "+")) -> ("something" "sees" "cow" "+"))
The bear is cold.
True
1
proof
[(triple1)]
("bear" "is" "cold" "+")
triple1
The bear is not cold.
False
1
inv-proof
[(triple1)]
("bear" "is" "cold" "-")
triple1
The squirrel does not visit the cow.
Unknown
inv-rconc
[@1: The squirrel visits the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "visits" "cow" "-")
The cow eats the squirrel.
Unknown
random
[@0: The cow eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "squirrel" "+")
@0: The bear is cold.[(triple1)] The bear visits the cow.[(triple2)] The cow visits the bear.[(triple3)] The squirrel eats the cow.[(triple4)] The squirrel is red.[(triple5)] The squirrel is young.[(triple6)] The squirrel visits the bear.[(triple7)]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear visits the cow.
("bear" "visits" "cow" "+")
triple2
The cow visits the bear.
("cow" "visits" "bear" "+")
triple3
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple4
The squirrel is red.
("squirrel" "is" "red" "+")
triple5
The squirrel is young.
("squirrel" "is" "young" "+")
triple6
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple7