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