The cow eats the rabbit. The cow is big. The cow needs the rabbit. The cow needs the squirrel. The cow does not visit the rabbit. The rabbit does not eat the squirrel. The rabbit is nice. The rabbit is rough. The rabbit is young. The rabbit visits the squirrel. The squirrel eats the cow. The squirrel is big. The squirrel is blue. The squirrel is nice. The squirrel needs the cow. The squirrel needs the rabbit. If the cow is rough then the cow eats the rabbit. If someone is blue and they visit the cow then the cow is blue. If the cow is rough and the cow is not nice then the cow visits the rabbit. If someone visits the cow then the cow visits the rabbit. If someone needs the cow then they visit the squirrel. If someone eats the cow and they do not need the rabbit then they visit the rabbit. If the cow is young and the cow eats the rabbit then the rabbit does not need the squirrel. If someone visits the squirrel then they do not visit the cow.
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
The rabbit does not eat the squirrel.
("rabbit" "eats" "squirrel" "-")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If the cow is rough then the cow eats the rabbit.
((("cow" "is" "rough" "+")) -> ("cow" "eats" "rabbit" "+"))
If someone is blue and they visit the cow then the cow is blue.
((("someone" "is" "blue" "+") ("someone" "visits" "cow" "+")) -> ("cow" "is" "blue" "+"))
If the cow is rough and the cow is not nice then the cow visits the rabbit.
((("cow" "is" "rough" "+") ("cow" "is" "nice" "~")) -> ("cow" "visits" "rabbit" "+"))
If someone visits the cow then the cow visits the rabbit.
((("someone" "visits" "cow" "+")) -> ("cow" "visits" "rabbit" "+"))
If someone needs the cow then they visit the squirrel.
((("someone" "needs" "cow" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone eats the cow and they do not need the rabbit then they visit the rabbit.
((("someone" "eats" "cow" "+") ("someone" "needs" "rabbit" "~")) -> ("someone" "visits" "rabbit" "+"))
If the cow is young and the cow eats the rabbit then the rabbit does not need the squirrel.
((("cow" "is" "young" "+") ("cow" "eats" "rabbit" "+")) -> ("rabbit" "needs" "squirrel" "-"))
If someone visits the squirrel then they do not visit the cow.
((("someone" "visits" "squirrel" "+")) -> ("someone" "visits" "cow" "-"))
The rabbit visits the squirrel.
True
1
proof
[(triple10)]
("rabbit" "visits" "squirrel" "+")
triple10
The squirrel is not nice.
False
1
inv-proof
[(triple14)]
("squirrel" "is" "nice" "-")
triple14
The rabbit does not visit the cow.
True
2
proof
[(((triple10) -> rule8))]
("rabbit" "visits" "cow" "-")
((triple10) -> (rule8 % int1))
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
int1
The squirrel does not visit the squirrel.
False
2
inv-proof
[(((triple15) -> rule5))]
("squirrel" "visits" "squirrel" "-")
((triple15) -> (rule5 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not visit the cow.
True
3
proof
[(((((triple15) -> rule5)) -> rule8))]
("squirrel" "visits" "cow" "-")
((((triple15) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The squirrel visits the cow.
False
3
inv-proof
[(((((triple15) -> rule5)) -> rule8))]
("squirrel" "visits" "cow" "+")
((((triple15) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2
The rabbit does not visit the rabbit.
Unknown
inv-rconc
[@1: The rabbit visits the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "visits" "rabbit" "-")
The cow is blue.
Unknown
rconc
[@1: The cow is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "blue" "+")
The squirrel does not visit the rabbit.
Unknown
inv-rconc
[@1: The squirrel visits the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "rabbit" "-")
The squirrel needs the squirrel.
Unknown
random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow does not visit the rabbit.[(triple5)] The cow eats the rabbit.[(triple1)] The cow is big.[(triple2)] The cow needs the rabbit.[(triple3)] The cow needs the squirrel.[(triple4)] The rabbit does not eat the squirrel.[(triple6)] The rabbit is nice.[(triple7)] The rabbit is rough.[(triple8)] The rabbit is young.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel eats the cow.[(triple11)] The squirrel is big.[(triple12)] The squirrel is blue.[(triple13)] The squirrel is nice.[(triple14)] The squirrel needs the cow.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The rabbit does not visit the cow.[(((triple10) -> rule8))] The squirrel visits the squirrel.[(((triple15) -> rule5))] @2: The squirrel does not visit the cow.[(((((triple15) -> rule5)) -> rule8))]
The cow does not visit the rabbit.
("cow" "visits" "rabbit" "-")
triple5
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple3
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple4
The rabbit does not eat the squirrel.
("rabbit" "eats" "squirrel" "-")
triple6
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit visits the squirrel.
("rabbit" "visits" "squirrel" "+")
triple10
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple14
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
triple15
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple16
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
((triple10) -> (rule8 % int1))
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
((triple15) -> (rule5 % int1))
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int1
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
((((triple15) -> (rule5 % int2))) -> (rule8 % int1))
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
int1
The squirrel visits the squirrel.
("squirrel" "visits" "squirrel" "+")
int2