The cow likes the rabbit. The cow sees the dog. The cow sees the lion. The dog is not blue. The dog does not like the cow. The dog does not like the rabbit. The lion eats the dog. The lion is nice. The lion is round. The lion likes the cow. The lion does not like the dog. The lion likes the rabbit. The rabbit does not eat the cow. The rabbit likes the dog. The rabbit sees the dog. If something eats the dog then the dog is not round.
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog does not like the cow.
("dog" "likes" "cow" "-")
The dog does not like the rabbit.
("dog" "likes" "rabbit" "-")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion does not like the dog.
("lion" "likes" "dog" "-")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If something eats the dog then the dog is not round.
((("something" "eats" "dog" "+")) -> ("dog" "is" "round" "-"))
The cow sees the dog.
True
1
proof
[(triple2)]
("cow" "sees" "dog" "+")
triple2
The cow does not see the dog.
False
1
inv-proof
[(triple2)]
("cow" "sees" "dog" "-")
triple2
The dog is not round.
True
2
proof
[(((triple7) -> rule1))]
("dog" "is" "round" "-")
((triple7) -> (rule1 % int1))
The dog is not round.
("dog" "is" "round" "-")
int1
The dog is round.
False
2
inv-proof
[(((triple7) -> rule1))]
("dog" "is" "round" "+")
((triple7) -> (rule1 % int1))
The dog is not round.
("dog" "is" "round" "-")
int1
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
@0: The cow likes the rabbit.[(triple1)] The cow sees the dog.[(triple2)] The cow sees the lion.[(triple3)] The dog does not like the cow.[(triple5)] The dog does not like the rabbit.[(triple6)] The dog is not blue.[(triple4)] The lion does not like the dog.[(triple11)] The lion eats the dog.[(triple7)] The lion is nice.[(triple8)] The lion is round.[(triple9)] The lion likes the cow.[(triple10)] The lion likes the rabbit.[(triple12)] The rabbit does not eat the cow.[(triple13)] The rabbit likes the dog.[(triple14)] The rabbit sees the dog.[(triple15)] @1: The dog is not round.[(((triple7) -> rule1))]
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple1
The cow sees the dog.
("cow" "sees" "dog" "+")
triple2
The cow sees the lion.
("cow" "sees" "lion" "+")
triple3
The dog does not like the cow.
("dog" "likes" "cow" "-")
triple5
The dog does not like the rabbit.
("dog" "likes" "rabbit" "-")
triple6
The dog is not blue.
("dog" "is" "blue" "-")
triple4
The lion does not like the dog.
("lion" "likes" "dog" "-")
triple11
The lion eats the dog.
("lion" "eats" "dog" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion is round.
("lion" "is" "round" "+")
triple9
The lion likes the cow.
("lion" "likes" "cow" "+")
triple10
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple12
The rabbit does not eat the cow.
("rabbit" "eats" "cow" "-")
triple13
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple14
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple15
The dog is not round.
("dog" "is" "round" "-")
((triple7) -> (rule1 % int1))
The dog is not round.
("dog" "is" "round" "-")
int1