The bear eats the dog. The bear is not green. The bear is red. The dog does not eat the rabbit. The dog is green. The dog is red. The dog likes the bear. The dog sees the bear. The dog does not see the rabbit. The rabbit eats the bear. If someone eats the dog then they are big.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is not green.
("bear" "is" "green" "-")
The bear is red.
("bear" "is" "red" "+")
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
If someone eats the dog then they are big.
((("someone" "eats" "dog" "+")) -> ("someone" "is" "big" "+"))
The bear is red.
True
1
proof
[(triple3)]
("bear" "is" "red" "+")
triple3
The dog is not red.
False
1
inv-proof
[(triple6)]
("dog" "is" "red" "-")
triple6
The bear is big.
True
2
proof
[(((triple1) -> rule1))]
("bear" "is" "big" "+")
((triple1) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is not big.
False
2
inv-proof
[(((triple1) -> rule1))]
("bear" "is" "big" "-")
((triple1) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "big" "-")
The dog is big.
Unknown
rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "big" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The bear eats the rabbit.
Unknown
random
[@0: The bear eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "rabbit" "+")
@0: The bear eats the dog.[(triple1)] The bear is not green.[(triple2)] The bear is red.[(triple3)] The dog does not eat the rabbit.[(triple4)] The dog does not see the rabbit.[(triple9)] The dog is green.[(triple5)] The dog is red.[(triple6)] The dog likes the bear.[(triple7)] The dog sees the bear.[(triple8)] The rabbit eats the bear.[(triple10)] @1: The bear is big.[(((triple1) -> rule1))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is not green.
("bear" "is" "green" "-")
triple2
The bear is red.
("bear" "is" "red" "+")
triple3
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
triple4
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
triple9
The dog is green.
("dog" "is" "green" "+")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
The dog likes the bear.
("dog" "likes" "bear" "+")
triple7
The dog sees the bear.
("dog" "sees" "bear" "+")
triple8
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple10
The bear is big.
("bear" "is" "big" "+")
((triple1) -> (rule1 % int1))
The bear is big.
("bear" "is" "big" "+")
int1