The bear eats the cat. The bear sees the cat. The bear sees the cow. The bear does not visit the cat. The cat eats the bear. The cat is cold. The cat is young. The cat sees the bear. The cat sees the cow. The cat visits the bear. The cat visits the cow. The cow eats the cat. The cow is not blue. The cow does not see the cat. The cow visits the bear. The cow visits the cat. If someone sees the cat and the cat eats the bear then the bear visits the cow. If someone is red and blue then they see the bear.
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear does not visit the cat.
("bear" "visits" "cat" "-")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow is not blue.
("cow" "is" "blue" "-")
The cow does not see the cat.
("cow" "sees" "cat" "-")
The cow visits the bear.
("cow" "visits" "bear" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
If someone sees the cat and the cat eats the bear then the bear visits the cow.
((("someone" "sees" "cat" "+") ("cat" "eats" "bear" "+")) -> ("bear" "visits" "cow" "+"))
If someone is red and blue then they see the bear.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "sees" "bear" "+"))
The cat is cold.
True
1
proof
[(triple6)]
("cat" "is" "cold" "+")
triple6
The cow does not visit the cat.
False
1
inv-proof
[(triple16)]
("cow" "visits" "cat" "-")
triple16
The bear visits the cow.
True
3
proof
[(((triple2 triple5) -> rule1))]
("bear" "visits" "cow" "+")
((triple2 triple5) -> (rule1 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The bear does not visit the cow.
False
3
inv-proof
[(((triple2 triple5) -> rule1))]
("bear" "visits" "cow" "-")
((triple2 triple5) -> (rule1 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1
The cow does not see the bear.
Unknown
inv-rconc
[@1: The cow sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "sees" "bear" "-")
The bear sees the bear.
Unknown
rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "sees" "bear" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The bear does not visit the cat.[(triple4)] The bear eats the cat.[(triple1)] The bear sees the cat.[(triple2)] The bear sees the cow.[(triple3)] The cat eats the bear.[(triple5)] The cat is cold.[(triple6)] The cat is young.[(triple7)] The cat sees the bear.[(triple8)] The cat sees the cow.[(triple9)] The cat visits the bear.[(triple10)] The cat visits the cow.[(triple11)] The cow does not see the cat.[(triple14)] The cow eats the cat.[(triple12)] The cow is not blue.[(triple13)] The cow visits the bear.[(triple15)] The cow visits the cat.[(triple16)] @1: The bear visits the cow.[(((triple2 triple5) -> rule1))]
The bear does not visit the cat.
("bear" "visits" "cat" "-")
triple4
The bear eats the cat.
("bear" "eats" "cat" "+")
triple1
The bear sees the cat.
("bear" "sees" "cat" "+")
triple2
The bear sees the cow.
("bear" "sees" "cow" "+")
triple3
The cat eats the bear.
("cat" "eats" "bear" "+")
triple5
The cat is cold.
("cat" "is" "cold" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The cat sees the bear.
("cat" "sees" "bear" "+")
triple8
The cat sees the cow.
("cat" "sees" "cow" "+")
triple9
The cat visits the bear.
("cat" "visits" "bear" "+")
triple10
The cat visits the cow.
("cat" "visits" "cow" "+")
triple11
The cow does not see the cat.
("cow" "sees" "cat" "-")
triple14
The cow eats the cat.
("cow" "eats" "cat" "+")
triple12
The cow is not blue.
("cow" "is" "blue" "-")
triple13
The cow visits the bear.
("cow" "visits" "bear" "+")
triple15
The cow visits the cat.
("cow" "visits" "cat" "+")
triple16
The bear visits the cow.
("bear" "visits" "cow" "+")
((triple2 triple5) -> (rule1 % int1))
The bear visits the cow.
("bear" "visits" "cow" "+")
int1