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