The cow eats the squirrel. The cow is red. The cow is rough. The cow likes the squirrel. The cow sees the rabbit. The rabbit eats the cow. The rabbit is blue. The rabbit is green. The rabbit is red. The rabbit sees the cow. The rabbit sees the squirrel. The squirrel is green. The squirrel likes the cow. The squirrel likes the rabbit. The squirrel sees the rabbit. If someone likes the cow then they eat the rabbit. If someone eats the rabbit and they eat the cow then they are rough.
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel is green.
("squirrel" "is" "green" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
If someone likes the cow then they eat the rabbit.
((("someone" "likes" "cow" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone eats the rabbit and they eat the cow then they are rough.
((("someone" "eats" "rabbit" "+") ("someone" "eats" "cow" "+")) -> ("someone" "is" "rough" "+"))
The rabbit is green.
True
1
proof
[(triple8)]
("rabbit" "is" "green" "+")
triple8
The rabbit does not eat the cow.
False
1
inv-proof
[(triple6)]
("rabbit" "eats" "cow" "-")
triple6
The squirrel eats the rabbit.
True
2
proof
[(((triple13) -> rule1))]
("squirrel" "eats" "rabbit" "+")
((triple13) -> (rule1 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel does not eat the rabbit.
False
2
inv-proof
[(((triple13) -> rule1))]
("squirrel" "eats" "rabbit" "-")
((triple13) -> (rule1 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "rough" "-")
The rabbit eats the rabbit.
Unknown
rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "rabbit" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The cow eats the squirrel.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] The cow likes the squirrel.[(triple4)] The cow sees the rabbit.[(triple5)] The rabbit eats the cow.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is green.[(triple8)] The rabbit is red.[(triple9)] The rabbit sees the cow.[(triple10)] The rabbit sees the squirrel.[(triple11)] The squirrel is green.[(triple12)] The squirrel likes the cow.[(triple13)] The squirrel likes the rabbit.[(triple14)] The squirrel sees the rabbit.[(triple15)] @1: The squirrel eats the rabbit.[(((triple13) -> rule1))]
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The cow is rough.
("cow" "is" "rough" "+")
triple3
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple4
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple5
The rabbit eats the cow.
("rabbit" "eats" "cow" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The rabbit is green.
("rabbit" "is" "green" "+")
triple8
The rabbit is red.
("rabbit" "is" "red" "+")
triple9
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple10
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple11
The squirrel is green.
("squirrel" "is" "green" "+")
triple12
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple13
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple14
The squirrel sees the rabbit.
("squirrel" "sees" "rabbit" "+")
triple15
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
((triple13) -> (rule1 % int1))
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
int1