The bear eats the rabbit. The rabbit eats the bear. The rabbit needs the bear. If the rabbit needs the bear then the rabbit is kind. If someone is rough then they like the bear. If someone is red then they like the bear. If someone likes the rabbit then the rabbit likes the bear. If someone likes the bear and they need the rabbit then the rabbit does not like the bear. If someone needs the rabbit and they need the bear then the rabbit eats the bear. If someone needs the bear and they are not big then they like the rabbit. If the bear is young and the bear eats the rabbit then the bear likes the rabbit.
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If the rabbit needs the bear then the rabbit is kind.
((("rabbit" "needs" "bear" "+")) -> ("rabbit" "is" "kind" "+"))
If someone is rough then they like the bear.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "bear" "+"))
If someone is red then they like the bear.
((("someone" "is" "red" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the rabbit then the rabbit likes the bear.
((("someone" "likes" "rabbit" "+")) -> ("rabbit" "likes" "bear" "+"))
If someone likes the bear and they need the rabbit then the rabbit does not like the bear.
((("someone" "likes" "bear" "+") ("someone" "needs" "rabbit" "+")) -> ("rabbit" "likes" "bear" "-"))
If someone needs the rabbit and they need the bear then the rabbit eats the bear.
((("someone" "needs" "rabbit" "+") ("someone" "needs" "bear" "+")) -> ("rabbit" "eats" "bear" "+"))
If someone needs the bear and they are not big then they like the rabbit.
((("someone" "needs" "bear" "+") ("someone" "is" "big" "~")) -> ("someone" "likes" "rabbit" "+"))
If the bear is young and the bear eats the rabbit then the bear likes the rabbit.
((("bear" "is" "young" "+") ("bear" "eats" "rabbit" "+")) -> ("bear" "likes" "rabbit" "+"))
The rabbit needs the bear.
True
1
proof
[(triple3)]
("rabbit" "needs" "bear" "+")
triple3
The rabbit does not need the bear.
False
1
inv-proof
[(triple3)]
("rabbit" "needs" "bear" "-")
triple3
The rabbit is kind.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is not kind.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "is" "kind" "-")
((triple3) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit does not like the bear.
Unknown
inv-rconc
[@2: The rabbit likes the bear.[CWA. Example of deepest failure = (rule4 <- rule7 <- FAIL)]]
("rabbit" "likes" "bear" "-")
The rabbit likes the rabbit.
Unknown
rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "likes" "rabbit" "+")
The bear does not eat the bear.
Unknown
inv-random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The bear eats the rabbit.[(triple1)] The rabbit eats the bear.[(triple2)] The rabbit needs the bear.[(triple3)] @1: The rabbit is kind.[(((triple3) -> rule1))]
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple2
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple3) -> (rule1 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1