The cow does not chase the dog. The cow eats the rabbit. The cow is not round. The dog does not eat the rabbit. The dog eats the squirrel. The dog is kind. The dog visits the squirrel. The rabbit is big. The rabbit is round. The squirrel visits the rabbit. If someone visits the rabbit then they chase the cow. If someone chases the cow then they are not round. If the cow is not kind and the cow does not eat the rabbit then the rabbit is round.
The cow does not chase the dog.
("cow" "chases" "dog" "-")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is not round.
("cow" "is" "round" "-")
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If someone visits the rabbit then they chase the cow.
((("someone" "visits" "rabbit" "+")) -> ("someone" "chases" "cow" "+"))
If someone chases the cow then they are not round.
((("someone" "chases" "cow" "+")) -> ("someone" "is" "round" "-"))
If the cow is not kind and the cow does not eat the rabbit then the rabbit is round.
((("cow" "is" "kind" "~") ("cow" "eats" "rabbit" "~")) -> ("rabbit" "is" "round" "+"))
The dog is kind.
True
1
proof
[(triple6)]
("dog" "is" "kind" "+")
triple6
The rabbit is not big.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "big" "-")
triple8
The squirrel chases the cow.
True
2
proof
[(((triple10) -> rule1))]
("squirrel" "chases" "cow" "+")
((triple10) -> (rule1 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel does not chase the cow.
False
2
inv-proof
[(((triple10) -> rule1))]
("squirrel" "chases" "cow" "-")
((triple10) -> (rule1 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel is not round.
True
3
proof
[(((((triple10) -> rule1)) -> rule2))]
("squirrel" "is" "round" "-")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The squirrel is round.
False
3
inv-proof
[(((((triple10) -> rule1)) -> rule2))]
("squirrel" "is" "round" "+")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "cow" "-")
The rabbit chases the cow.
Unknown
rconc
[@1: The rabbit chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "cow" "+")
The dog does not chase the cow.
Unknown
inv-rconc
[@1: The dog chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "cow" "-")
The dog eats the cow.
Unknown
random
[@0: The dog eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "cow" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The rabbit chases the squirrel.
Unknown
random
[@0: The rabbit chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "squirrel" "+")
@0: The cow does not chase the dog.[(triple1)] The cow eats the rabbit.[(triple2)] The cow is not round.[(triple3)] The dog does not eat the rabbit.[(triple4)] The dog eats the squirrel.[(triple5)] The dog is kind.[(triple6)] The dog visits the squirrel.[(triple7)] The rabbit is big.[(triple8)] The rabbit is round.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The squirrel chases the cow.[(((triple10) -> rule1))] @2: The squirrel is not round.[(((((triple10) -> rule1)) -> rule2))]
The cow does not chase the dog.
("cow" "chases" "dog" "-")
triple1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple2
The cow is not round.
("cow" "is" "round" "-")
triple3
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
triple4
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple5
The dog is kind.
("dog" "is" "kind" "+")
triple6
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
((triple10) -> (rule1 % int1))
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int1
The squirrel is not round.
("squirrel" "is" "round" "-")
((((triple10) -> (rule1 % int2))) -> (rule2 % int1))
The squirrel is not round.
("squirrel" "is" "round" "-")
int1
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
int2