The bear is cold. The bear likes the rabbit. The bear needs the rabbit. The rabbit is round. The rabbit is young. The rabbit likes the bear. The rabbit needs the bear. If someone needs the rabbit and they like the rabbit then they are green.
The bear is cold.
("bear" "is" "cold" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If someone needs the rabbit and they like the rabbit then they are green.
((("someone" "needs" "rabbit" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "is" "green" "+"))
The rabbit needs the bear.
True
1
proof
[(triple7)]
("rabbit" "needs" "bear" "+")
triple7
The bear does not need the rabbit.
False
1
inv-proof
[(triple3)]
("bear" "needs" "rabbit" "-")
triple3
The bear is green.
True
3
proof
[(((triple3 triple2) -> rule1))]
("bear" "is" "green" "+")
((triple3 triple2) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is not green.
False
3
inv-proof
[(((triple3 triple2) -> rule1))]
("bear" "is" "green" "-")
((triple3 triple2) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "green" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear is cold.[(triple1)] The bear likes the rabbit.[(triple2)] The bear needs the rabbit.[(triple3)] The rabbit is round.[(triple4)] The rabbit is young.[(triple5)] The rabbit likes the bear.[(triple6)] The rabbit needs the bear.[(triple7)] @1: The bear is green.[(((triple3 triple2) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple2
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple3
The rabbit is round.
("rabbit" "is" "round" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple6
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple7
The bear is green.
("bear" "is" "green" "+")
((triple3 triple2) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1