The cow is red. The cow likes the squirrel. The cow sees the rabbit. The rabbit is rough. The rabbit likes the cow. The rabbit likes the squirrel. The rabbit needs the cow. The rabbit sees the cow. The rabbit sees the squirrel. The squirrel is blue. The squirrel likes the rabbit. The squirrel sees the rabbit. If the rabbit likes the cow then the cow sees the squirrel. If someone likes the squirrel then the squirrel likes the cow. If someone likes the cow then they are rough.
The cow is red.
("cow" "is" "red" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If the rabbit likes the cow then the cow sees the squirrel.
((("rabbit" "likes" "cow" "+")) -> ("cow" "sees" "squirrel" "+"))
If someone likes the squirrel then the squirrel likes the cow.
((("someone" "likes" "squirrel" "+")) -> ("squirrel" "likes" "cow" "+"))
If someone likes the cow then they are rough.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "rough" "+"))
The squirrel is blue.
True
1
proof
[(triple10)]
("squirrel" "is" "blue" "+")
triple10
The squirrel does not like the rabbit.
False
1
inv-proof
[(triple11)]
("squirrel" "likes" "rabbit" "-")
triple11
The cow sees the squirrel.
True
2
proof
[(((triple5) -> rule1))]
("cow" "sees" "squirrel" "+")
((triple5) -> (rule1 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The squirrel does not like the cow.
False
2
inv-proof
[(((triple2) -> rule2) OR ((triple6) -> rule2))]
("squirrel" "likes" "cow" "-")
((triple2) -> (rule2 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
((triple6) -> (rule2 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel is rough.
True
3
proof
[(((((triple2) -> rule2)) -> rule3) OR ((((triple6) -> rule2)) -> rule3))]
("squirrel" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The squirrel is not rough.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule3) OR ((((triple6) -> rule2)) -> rule3))]
("squirrel" "is" "rough" "-")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
The cow is not rough.
Unknown
inv-rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "is" "rough" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit needs the squirrel.
Unknown
random
[@0: The rabbit needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "squirrel" "+")
The cow does not need the rabbit.
Unknown
inv-random
[@0: The cow needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "rabbit" "-")
The squirrel is big.
Unknown
random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "+")
@0: The cow is red.[(triple1)] The cow likes the squirrel.[(triple2)] The cow sees the rabbit.[(triple3)] The rabbit is rough.[(triple4 OR ((triple5) -> rule3))] The rabbit likes the cow.[(triple5)] The rabbit likes the squirrel.[(triple6)] The rabbit needs the cow.[(triple7)] The rabbit sees the cow.[(triple8)] The rabbit sees the squirrel.[(triple9)] The squirrel is blue.[(triple10)] The squirrel likes the rabbit.[(triple11)] The squirrel sees the rabbit.[(triple12)] @1: The cow sees the squirrel.[(((triple5) -> rule1))] The squirrel likes the cow.[(((triple2) -> rule2) OR ((triple6) -> rule2))] @2: The squirrel is rough.[(((((triple2) -> rule2)) -> rule3) OR ((((triple6) -> rule2)) -> rule3))]
The cow is red.
("cow" "is" "red" "+")
triple1
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple2
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
((triple5) -> (rule3 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple5
The rabbit likes the squirrel.
("rabbit" "likes" "squirrel" "+")
triple6
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple7
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple8
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple9
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple10
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple11
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple12
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
((triple5) -> (rule1 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
((triple2) -> (rule2 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
((triple6) -> (rule2 % int1))
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int1
The squirrel is rough.
("squirrel" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
The squirrel is rough.
("squirrel" "is" "rough" "+")
int1
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
int2