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