The bear eats the cat. The bear is cold. The bear is kind. The bear is red. The bear likes the cat. The bear sees the cat. The cat eats the bear. The cat is kind. The cat is red. The cat sees the bear. If something is cold then it likes the bear. If something likes the bear and the bear eats the cat then the bear is green.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is red.
("cat" "is" "red" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
If something is cold then it likes the bear.
((("something" "is" "cold" "+")) -> ("something" "likes" "bear" "+"))
If something likes the bear and the bear eats the cat then the bear is green.
((("something" "likes" "bear" "+") ("bear" "eats" "cat" "+")) -> ("bear" "is" "green" "+"))
The cat sees the bear.
True
1
proof
[(triple10)]
("cat" "sees" "bear" "+")
triple10
The cat does not see the bear.
False
1
inv-proof
[(triple10)]
("cat" "sees" "bear" "-")
triple10
The bear likes the bear.
True
2
proof
[(((triple2) -> rule1))]
("bear" "likes" "bear" "+")
((triple2) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear does not like the bear.
False
2
inv-proof
[(((triple2) -> rule1))]
("bear" "likes" "bear" "-")
((triple2) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is green.
True
4
proof
[(((((triple2) -> rule1) triple1) -> rule2))]
("bear" "is" "green" "+")
((((triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The bear is not green.
False
4
inv-proof
[(((((triple2) -> rule1) triple1) -> rule2))]
("bear" "is" "green" "-")
((((triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2
The cat does not like the bear.
Unknown
inv-rconc
[@1: The cat likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "bear" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
The cat does not see the cat.
Unknown
inv-random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
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 eats the cat.[(triple1)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear likes the cat.[(triple5)] The bear sees the cat.[(triple6)] The cat eats the bear.[(triple7)] The cat is kind.[(triple8)] The cat is red.[(triple9)] The cat sees the bear.[(triple10)] @1: The bear likes the bear.[(((triple2) -> rule1))] @2: The bear is green.[(((((triple2) -> rule1) triple1) -> rule2))]
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is red.
("bear" "is" "red" "+")
triple4
The bear likes the cat.
("bear" "likes" "cat" "+")
triple5
The bear sees the cat.
("bear" "sees" "cat" "+")
triple6
The cat eats the bear.
("cat" "eats" "bear" "+")
triple7
The cat is kind.
("cat" "is" "kind" "+")
triple8
The cat is red.
("cat" "is" "red" "+")
triple9
The cat sees the bear.
("cat" "sees" "bear" "+")
triple10
The bear likes the bear.
("bear" "likes" "bear" "+")
((triple2) -> (rule1 % int1))
The bear likes the bear.
("bear" "likes" "bear" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((((triple2) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear likes the bear.
("bear" "likes" "bear" "+")
int2