The cow visits the squirrel. The dog eats the cow. The dog likes the cow. The dog visits the cow. The squirrel is kind. The squirrel is nice. The squirrel likes the cow. If something visits the dog then it eats the squirrel. If the cow eats the dog then the cow is round. If the cow is nice and the cow is kind then the cow likes the squirrel. If something visits the squirrel and the squirrel visits the dog then the dog eats the squirrel. If something likes the squirrel and it is big then the squirrel is round. If the dog eats the cow then the dog likes the squirrel. If something is kind and it likes the cow then it is round. If something likes the cow then the cow is kind.
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
If something visits the dog then it eats the squirrel.
((("something" "visits" "dog" "+")) -> ("something" "eats" "squirrel" "+"))
If the cow eats the dog then the cow is round.
((("cow" "eats" "dog" "+")) -> ("cow" "is" "round" "+"))
If the cow is nice and the cow is kind then the cow likes the squirrel.
((("cow" "is" "nice" "+") ("cow" "is" "kind" "+")) -> ("cow" "likes" "squirrel" "+"))
If something visits the squirrel and the squirrel visits the dog then the dog eats the squirrel.
((("something" "visits" "squirrel" "+") ("squirrel" "visits" "dog" "+")) -> ("dog" "eats" "squirrel" "+"))
If something likes the squirrel and it is big then the squirrel is round.
((("something" "likes" "squirrel" "+") ("something" "is" "big" "+")) -> ("squirrel" "is" "round" "+"))
If the dog eats the cow then the dog likes the squirrel.
((("dog" "eats" "cow" "+")) -> ("dog" "likes" "squirrel" "+"))
If something is kind and it likes the cow then it is round.
((("something" "is" "kind" "+") ("something" "likes" "cow" "+")) -> ("something" "is" "round" "+"))
If something likes the cow then the cow is kind.
((("something" "likes" "cow" "+")) -> ("cow" "is" "kind" "+"))
The squirrel is kind.
True
1
proof
[(triple5)]
("squirrel" "is" "kind" "+")
triple5
The dog does not eat the cow.
False
1
inv-proof
[(triple2)]
("dog" "eats" "cow" "-")
triple2
The dog likes the squirrel.
True
2
proof
[(((triple2) -> rule6))]
("dog" "likes" "squirrel" "+")
((triple2) -> (rule6 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel is not round.
False
3
inv-proof
[(((triple5 triple7) -> rule7))]
("squirrel" "is" "round" "-")
((triple5 triple7) -> (rule7 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The cow does not like the squirrel.
Unknown
inv-rconc
[@1: The cow likes the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "likes" "squirrel" "-")
The cow eats the squirrel.
Unknown
rconc
[@1: The cow eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "squirrel" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The squirrel eats the dog.
Unknown
random
[@0: The squirrel eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "dog" "+")
@0: The cow visits the squirrel.[(triple1)] The dog eats the cow.[(triple2)] The dog likes the cow.[(triple3)] The dog visits the cow.[(triple4)] The squirrel is kind.[(triple5)] The squirrel is nice.[(triple6)] The squirrel likes the cow.[(triple7)] @1: The cow is kind.[(((triple3) -> rule8) OR ((triple7) -> rule8))] The dog likes the squirrel.[(((triple2) -> rule6))] The squirrel is round.[(((triple5 triple7) -> rule7))]
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple1
The dog eats the cow.
("dog" "eats" "cow" "+")
triple2
The dog likes the cow.
("dog" "likes" "cow" "+")
triple3
The dog visits the cow.
("dog" "visits" "cow" "+")
triple4
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple5
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple6
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple7
The cow is kind.
("cow" "is" "kind" "+")
((triple3) -> (rule8 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
((triple7) -> (rule8 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
((triple2) -> (rule6 % int1))
The dog likes the squirrel.
("dog" "likes" "squirrel" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple5 triple7) -> (rule7 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1