The bear eats the cat. The bear is not blue. The bear needs the tiger. The bear sees the tiger. The cat eats the bear. The cat sees the bear. The dog needs the bear. The tiger eats the bear. The tiger is blue. The tiger is nice. If something eats the dog then it eats the cat.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If something eats the dog then it eats the cat.
((("something" "eats" "dog" "+")) -> ("something" "eats" "cat" "+"))
The bear sees the tiger.
True
1
proof
[(triple4)]
("bear" "sees" "tiger" "+")
triple4
The tiger is not blue.
False
1
inv-proof
[(triple9)]
("tiger" "is" "blue" "-")
triple9
The tiger does not eat the cat.
Unknown
inv-rconc
[@1: The tiger eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "cat" "-")
The tiger sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The bear eats the cat.[(triple1)] The bear is not blue.[(triple2)] The bear needs the tiger.[(triple3)] The bear sees the tiger.[(triple4)] The cat eats the bear.[(triple5)] The cat sees the bear.[(triple6)] The dog needs the bear.[(triple7)] The tiger eats the bear.[(triple8)] The tiger is blue.[(triple9)] The tiger is nice.[(triple10)]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is not blue.
("bear" "is" "blue" "-")
triple2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple3
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple4
The cat eats the bear.
("cat" "eats" "bear" "+")
triple5
The cat sees the bear.
("cat" "sees" "bear" "+")
triple6
The dog needs the bear.
("dog" "needs" "bear" "+")
triple7
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger is nice.
("tiger" "is" "nice" "+")
triple10