The bear is cold. The bear is rough. The bear sees the cat. The cat is rough. The dog eats the bear. The mouse eats the bear. The mouse is rough. If someone likes the cat then they are rough. If someone likes the cat then the cat is cold. If someone is rough and cold then they like the cat.
The bear is cold.
("bear" "is" "cold" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat is rough.
("cat" "is" "rough" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
If someone likes the cat then they are rough.
((("someone" "likes" "cat" "+")) -> ("someone" "is" "rough" "+"))
If someone likes the cat then the cat is cold.
((("someone" "likes" "cat" "+")) -> ("cat" "is" "cold" "+"))
If someone is rough and cold then they like the cat.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "likes" "cat" "+"))
The bear is cold.
True
1
proof
[(triple1)]
("bear" "is" "cold" "+")
triple1
The bear is not rough.
False
1
inv-proof
[(triple2)]
("bear" "is" "rough" "-")
triple2
The bear likes the cat.
True
3
proof
[(((triple2 triple1) -> rule3))]
("bear" "likes" "cat" "+")
((triple2 triple1) -> (rule3 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The bear does not like the cat.
False
3
inv-proof
[(((triple2 triple1) -> rule3))]
("bear" "likes" "cat" "-")
((triple2 triple1) -> (rule3 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The cat is cold.
True
4
proof
[(((((triple2 triple1) -> rule3)) -> rule2))]
("cat" "is" "cold" "+")
((((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The cat is not cold.
False
4
inv-proof
[(((((triple2 triple1) -> rule3)) -> rule2))]
("cat" "is" "cold" "-")
((((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The dog does not like the cat.
Unknown
inv-rconc
[@1: The dog likes the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "likes" "cat" "-")
The dog is rough.
Unknown
rconc
[@2: The dog is rough.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("dog" "is" "rough" "+")
The mouse does not like the cat.
Unknown
inv-rconc
[@1: The mouse likes the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "likes" "cat" "-")
The cat sees the mouse.
Unknown
random
[@0: The cat sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "mouse" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
@0: The bear is cold.[(triple1)] The bear is rough.[(triple2)] The bear sees the cat.[(triple3)] The cat is rough.[(triple4)] The dog eats the bear.[(triple5)] The mouse eats the bear.[(triple6)] The mouse is rough.[(triple7)] @1: The bear likes the cat.[(((triple2 triple1) -> rule3))] @2: The cat is cold.[(((((triple2 triple1) -> rule3)) -> rule2))] @3: The cat likes the cat.[(((triple4 ((((triple2 triple1) -> rule3)) -> rule2)) -> rule3))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear sees the cat.
("bear" "sees" "cat" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The dog eats the bear.
("dog" "eats" "bear" "+")
triple5
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple6
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The bear likes the cat.
("bear" "likes" "cat" "+")
((triple2 triple1) -> (rule3 % int1))
The bear likes the cat.
("bear" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
((((triple2 triple1) -> (rule3 % int2))) -> (rule2 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bear likes the cat.
("bear" "likes" "cat" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple4 ((((triple2 triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bear likes the cat.
("bear" "likes" "cat" "+")
int3