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