The bear eats the tiger. The bear is round. The bear does not like the rabbit. The rabbit eats the tiger. The rabbit is cold. The rabbit is red. The rabbit is round. The rabbit does not like the bear. The rabbit does not like the tiger. The rabbit needs the bear. The tiger does not eat the rabbit. The tiger is cold. The tiger is nice. The tiger is not round. The tiger does not need the rabbit. If someone eats the tiger then they do not like the bear. If someone likes the rabbit and the rabbit likes the bear then they like the bear. If someone likes the bear and they are nice then the bear needs the rabbit. If someone needs the rabbit and they need the bear then the bear eats the tiger. If someone needs the bear then they are cold. If someone likes the rabbit and the rabbit does not eat the tiger then the tiger needs the bear. If someone is young and they do not need the tiger then they do not like the tiger. If someone likes the bear and they are not cold then the bear is red.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is round.
("bear" "is" "round" "+")
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger does not need the rabbit.
("tiger" "needs" "rabbit" "-")
If someone eats the tiger then they do not like the bear.
((("someone" "eats" "tiger" "+")) -> ("someone" "likes" "bear" "-"))
If someone likes the rabbit and the rabbit likes the bear then they like the bear.
((("someone" "likes" "rabbit" "+") ("rabbit" "likes" "bear" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the bear and they are nice then the bear needs the rabbit.
((("someone" "likes" "bear" "+") ("someone" "is" "nice" "+")) -> ("bear" "needs" "rabbit" "+"))
If someone needs the rabbit and they need the bear then the bear eats the tiger.
((("someone" "needs" "rabbit" "+") ("someone" "needs" "bear" "+")) -> ("bear" "eats" "tiger" "+"))
If someone needs the bear then they are cold.
((("someone" "needs" "bear" "+")) -> ("someone" "is" "cold" "+"))
If someone likes the rabbit and the rabbit does not eat the tiger then the tiger needs the bear.
((("someone" "likes" "rabbit" "+") ("rabbit" "eats" "tiger" "~")) -> ("tiger" "needs" "bear" "+"))
If someone is young and they do not need the tiger then they do not like the tiger.
((("someone" "is" "young" "+") ("someone" "needs" "tiger" "~")) -> ("someone" "likes" "tiger" "-"))
If someone likes the bear and they are not cold then the bear is red.
((("someone" "likes" "bear" "+") ("someone" "is" "cold" "~")) -> ("bear" "is" "red" "+"))
The rabbit is round.
True
1
proof
[(triple7)]
("rabbit" "is" "round" "+")
triple7
The tiger is round.
False
1
inv-proof
[(triple14)]
("tiger" "is" "round" "+")
triple14
The bear does not like the bear.
True
2
proof
[(((triple1) -> rule1))]
("bear" "likes" "bear" "-")
((triple1) -> (rule1 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1
The bear likes the bear.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "likes" "bear" "+")
((triple1) -> (rule1 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "is" "cold" "-")
The tiger needs the bear.
Unknown
rconc
[@1: The tiger needs the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "needs" "bear" "+")
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 rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The bear does not like the rabbit.[(triple3)] The bear eats the tiger.[(triple1)] The bear is round.[(triple2)] The rabbit does not like the bear.[(triple8 OR ((triple4) -> rule1))] The rabbit does not like the tiger.[(triple9)] The rabbit eats the tiger.[(triple4)] The rabbit is cold.[(triple5 OR ((triple10) -> rule5))] The rabbit is red.[(triple6)] The rabbit is round.[(triple7)] The rabbit needs the bear.[(triple10)] The tiger does not eat the rabbit.[(triple11)] The tiger does not need the rabbit.[(triple15)] The tiger is cold.[(triple12)] The tiger is nice.[(triple13)] The tiger is not round.[(triple14)] @1: The bear does not like the bear.[(((triple1) -> rule1))]
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
triple3
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
triple8
((triple4) -> (rule1 % int1))
The rabbit does not like the bear.
("rabbit" "likes" "bear" "-")
int1
The rabbit does not like the tiger.
("rabbit" "likes" "tiger" "-")
triple9
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple4
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple5
((triple10) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
triple6
The rabbit is round.
("rabbit" "is" "round" "+")
triple7
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple10
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
triple11
The tiger does not need the rabbit.
("tiger" "needs" "rabbit" "-")
triple15
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger is nice.
("tiger" "is" "nice" "+")
triple13
The tiger is not round.
("tiger" "is" "round" "-")
triple14
The bear does not like the bear.
("bear" "likes" "bear" "-")
((triple1) -> (rule1 % int1))
The bear does not like the bear.
("bear" "likes" "bear" "-")
int1