The dog likes the rabbit. The rabbit sees the dog. If the dog likes the rabbit then the dog does not eat the rabbit. If someone sees the rabbit then they do not like the dog. If someone is red and they see the dog then they like the rabbit.
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If the dog likes the rabbit then the dog does not eat the rabbit.
((("dog" "likes" "rabbit" "+")) -> ("dog" "eats" "rabbit" "-"))
If someone sees the rabbit then they do not like the dog.
((("someone" "sees" "rabbit" "+")) -> ("someone" "likes" "dog" "-"))
If someone is red and they see the dog then they like the rabbit.
((("someone" "is" "red" "+") ("someone" "sees" "dog" "+")) -> ("someone" "likes" "rabbit" "+"))
The rabbit sees the dog.
True
1
proof
[(triple2)]
("rabbit" "sees" "dog" "+")
triple2
The dog does not like the rabbit.
False
1
inv-proof
[(triple1)]
("dog" "likes" "rabbit" "-")
triple1
The dog does not eat the rabbit.
True
2
proof
[(((triple1) -> rule1))]
("dog" "eats" "rabbit" "-")
((triple1) -> (rule1 % int1))
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
int1
The dog eats the rabbit.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "eats" "rabbit" "+")
((triple1) -> (rule1 % int1))
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
int1
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The dog is blue.
Unknown
random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The dog likes the rabbit.[(triple1)] The rabbit sees the dog.[(triple2)] @1: The dog does not eat the rabbit.[(((triple1) -> rule1))]
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple1
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple2
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
((triple1) -> (rule1 % int1))
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
int1