The cow chases the squirrel. The cow is blue. The cow is not rough. The cow sees the squirrel. The rabbit chases the cow. The rabbit is rough. The squirrel does not chase the cow. The squirrel chases the rabbit. The squirrel is blue. The squirrel sees the cow. The squirrel sees the rabbit. The squirrel visits the cow. If something is blue then it visits the rabbit. If the cow visits the rabbit then the cow is kind. If something is red and it visits the squirrel then the squirrel chases the rabbit. If something visits the rabbit then it sees the squirrel. If something visits the rabbit then the rabbit is kind. If something is blue and not red then it chases the rabbit.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is not rough.
("cow" "is" "rough" "-")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
If something is blue then it visits the rabbit.
((("something" "is" "blue" "+")) -> ("something" "visits" "rabbit" "+"))
If the cow visits the rabbit then the cow is kind.
((("cow" "visits" "rabbit" "+")) -> ("cow" "is" "kind" "+"))
If something is red and it visits the squirrel then the squirrel chases the rabbit.
((("something" "is" "red" "+") ("something" "visits" "squirrel" "+")) -> ("squirrel" "chases" "rabbit" "+"))
If something visits the rabbit then it sees the squirrel.
((("something" "visits" "rabbit" "+")) -> ("something" "sees" "squirrel" "+"))
If something visits the rabbit then the rabbit is kind.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If something is blue and not red then it chases the rabbit.
((("something" "is" "blue" "+") ("something" "is" "red" "~")) -> ("something" "chases" "rabbit" "+"))
The squirrel sees the rabbit.
True
1
proof
[(triple11)]
("squirrel" "sees" "rabbit" "+")
triple11
The cow does not chase the squirrel.
False
1
inv-proof
[(triple1)]
("cow" "chases" "squirrel" "-")
triple1
The cow visits the rabbit.
True
2
proof
[(((triple2) -> rule1))]
("cow" "visits" "rabbit" "+")
((triple2) -> (rule1 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The squirrel does not visit the rabbit.
False
2
inv-proof
[(((triple9) -> rule1))]
("squirrel" "visits" "rabbit" "-")
((triple9) -> (rule1 % int1))
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int1
The rabbit is kind.
True
3
proof
[(((((triple2) -> rule1)) -> rule5) OR ((((triple9) -> rule1)) -> rule5))]
("rabbit" "is" "kind" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel does not see the squirrel.
False
3
inv-proof
[(((((triple9) -> rule1)) -> rule4))]
("squirrel" "sees" "squirrel" "-")
((((triple9) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The rabbit does not see the squirrel.
Unknown
inv-rconc
[@2: The rabbit sees the squirrel.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("rabbit" "sees" "squirrel" "-")
The rabbit visits the rabbit.
Unknown
rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "visits" "rabbit" "+")
The cow does not chase the rabbit.
Unknown
inv-rconc
[@1: The cow chases the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "chases" "rabbit" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
The squirrel is not big.
Unknown
inv-random
[@0: The squirrel is big.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "big" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The cow chases the squirrel.[(triple1)] The cow is blue.[(triple2)] The cow is not rough.[(triple3)] The cow sees the squirrel.[(triple4 OR ((((triple2) -> rule1)) -> rule4))] The rabbit chases the cow.[(triple5)] The rabbit is rough.[(triple6)] The squirrel chases the rabbit.[(triple8)] The squirrel does not chase the cow.[(triple7)] The squirrel is blue.[(triple9)] The squirrel sees the cow.[(triple10)] The squirrel sees the rabbit.[(triple11)] The squirrel visits the cow.[(triple12)] @1: The cow visits the rabbit.[(((triple2) -> rule1))] The squirrel visits the rabbit.[(((triple9) -> rule1))] @2: The cow is kind.[(((((triple2) -> rule1)) -> rule2))] The rabbit is kind.[(((((triple2) -> rule1)) -> rule5) OR ((((triple9) -> rule1)) -> rule5))] The squirrel sees the squirrel.[(((((triple9) -> rule1)) -> rule4))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is not rough.
("cow" "is" "rough" "-")
triple3
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple4
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple6
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
triple8
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
triple7
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple9
The squirrel sees the cow.
("squirrel" "sees" "cow" "+")
triple10
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple11
The squirrel visits the cow.
("squirrel" "visits" "cow" "+")
triple12
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
((triple2) -> (rule1 % int1))
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int1
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
((triple9) -> (rule1 % int1))
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
((((triple2) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
((((triple9) -> (rule1 % int2))) -> (rule4 % int1))
The squirrel sees the squirrel.
("squirrel" "sees" "squirrel" "+")
int1
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
int2