The bear needs the squirrel. The cow is young. The squirrel likes the cow. If someone is rough then they need the bear. If someone likes the bear then the bear is young. If someone likes the cow then the cow is rough.
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
The cow is young.
("cow" "is" "young" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If someone is rough then they need the bear.
((("someone" "is" "rough" "+")) -> ("someone" "needs" "bear" "+"))
If someone likes the bear then the bear is young.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "young" "+"))
If someone likes the cow then the cow is rough.
((("someone" "likes" "cow" "+")) -> ("cow" "is" "rough" "+"))
The cow is young.
True
1
proof
[(triple2)]
("cow" "is" "young" "+")
triple2
The bear does not need the squirrel.
False
1
inv-proof
[(triple1)]
("bear" "needs" "squirrel" "-")
triple1
The cow is rough.
True
2
proof
[(((triple3) -> rule3))]
("cow" "is" "rough" "+")
((triple3) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple3) -> rule3))]
("cow" "is" "rough" "-")
((triple3) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The bear does not need the bear.
Unknown
inv-rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "bear" "-")
The squirrel needs the bear.
Unknown
rconc
[@1: The squirrel needs the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "needs" "bear" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The squirrel is blue.
Unknown
random
[@0: The squirrel is blue.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "blue" "+")
@0: The bear needs the squirrel.[(triple1)] The cow is young.[(triple2)] The squirrel likes the cow.[(triple3)] @1: The cow is rough.[(((triple3) -> rule3))] @2: The cow needs the bear.[(((((triple3) -> rule3)) -> rule1))]
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple3
The cow is rough.
("cow" "is" "rough" "+")
((triple3) -> (rule3 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow needs the bear.
("cow" "needs" "bear" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The cow needs the bear.
("cow" "needs" "bear" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2