The bear eats the cat. The bear is not blue. The cat does not chase the dog. The cat chases the tiger. The dog eats the bear. The tiger does not eat the bear. The tiger eats the cat. If someone chases the dog then they eat the cat. If someone chases the bear and they do not eat the bear then they see the tiger. If someone eats the tiger then they eat the dog. If someone eats the bear then the bear is cold. If someone is red then they eat the tiger. If the bear is nice and the cat does not see the bear then the bear eats the tiger.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The cat does not chase the dog.
("cat" "chases" "dog" "-")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The tiger does not eat the bear.
("tiger" "eats" "bear" "-")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
If someone chases the dog then they eat the cat.
((("someone" "chases" "dog" "+")) -> ("someone" "eats" "cat" "+"))
If someone chases the bear and they do not eat the bear then they see the tiger.
((("someone" "chases" "bear" "+") ("someone" "eats" "bear" "~")) -> ("someone" "sees" "tiger" "+"))
If someone eats the tiger then they eat the dog.
((("someone" "eats" "tiger" "+")) -> ("someone" "eats" "dog" "+"))
If someone eats the bear then the bear is cold.
((("someone" "eats" "bear" "+")) -> ("bear" "is" "cold" "+"))
If someone is red then they eat the tiger.
((("someone" "is" "red" "+")) -> ("someone" "eats" "tiger" "+"))
If the bear is nice and the cat does not see the bear then the bear eats the tiger.
((("bear" "is" "nice" "+") ("cat" "sees" "bear" "~")) -> ("bear" "eats" "tiger" "+"))
The cat does not chase the dog.
True
1
proof
[(triple3)]
("cat" "chases" "dog" "-")
triple3
The dog does not eat the bear.
False
1
inv-proof
[(triple5)]
("dog" "eats" "bear" "-")
triple5
The bear is cold.
True
2
proof
[(((triple5) -> rule4))]
("bear" "is" "cold" "+")
((triple5) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is not cold.
False
2
inv-proof
[(((triple5) -> rule4))]
("bear" "is" "cold" "-")
((triple5) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear does not eat the dog.
Unknown
inv-rconc
[@2: The bear eats the dog.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("bear" "eats" "dog" "-")
The tiger sees the tiger.
Unknown
rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "sees" "tiger" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The bear eats the cat.[(triple1)] The bear is not blue.[(triple2)] The cat chases the tiger.[(triple4)] The cat does not chase the dog.[(triple3)] The dog eats the bear.[(triple5)] The tiger does not eat the bear.[(triple6)] The tiger eats the cat.[(triple7)] @1: The bear is cold.[(((triple5) -> rule4))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is not blue.
("bear" "is" "blue" "-")
triple2
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple4
The cat does not chase the dog.
("cat" "chases" "dog" "-")
triple3
The dog eats the bear.
("dog" "eats" "bear" "+")
triple5
The tiger does not eat the bear.
("tiger" "eats" "bear" "-")
triple6
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple7
The bear is cold.
("bear" "is" "cold" "+")
((triple5) -> (rule4 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1