The bear chases the mouse. The bear is cold. The bear is rough. The bear visits the cat. The cat is rough. The cat sees the mouse. The cow is nice. The cow sees the bear. The cow visits the bear. The mouse chases the cat. If someone is big then they see the cow. If someone visits the cat then they are big. If someone chases the cow then they chase the bear.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow visits the bear.
("cow" "visits" "bear" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
If someone is big then they see the cow.
((("someone" "is" "big" "+")) -> ("someone" "sees" "cow" "+"))
If someone visits the cat then they are big.
((("someone" "visits" "cat" "+")) -> ("someone" "is" "big" "+"))
If someone chases the cow then they chase the bear.
((("someone" "chases" "cow" "+")) -> ("someone" "chases" "bear" "+"))
The bear chases the mouse.
True
1
proof
[(triple1)]
("bear" "chases" "mouse" "+")
triple1
The bear does not chase the mouse.
False
1
inv-proof
[(triple1)]
("bear" "chases" "mouse" "-")
triple1
The bear is big.
True
2
proof
[(((triple4) -> rule2))]
("bear" "is" "big" "+")
((triple4) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is not big.
False
2
inv-proof
[(((triple4) -> rule2))]
("bear" "is" "big" "-")
((triple4) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear sees the cow.
True
3
proof
[(((((triple4) -> rule2)) -> rule1))]
("bear" "sees" "cow" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear does not see the cow.
False
3
inv-proof
[(((((triple4) -> rule2)) -> rule1))]
("bear" "sees" "cow" "-")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The cat does not chase the bear.
Unknown
inv-rconc
[@1: The cat chases the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "chases" "bear" "-")
The cow sees the cow.
Unknown
rconc
[@2: The cow sees the cow.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cow" "sees" "cow" "+")
The cat is not big.
Unknown
inv-rconc
[@1: The cat is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "big" "-")
The cat chases the mouse.
Unknown
random
[@0: The cat chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "mouse" "+")
The mouse does not chase the cow.
Unknown
inv-random
[@0: The mouse chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "cow" "-")
The cat sees the bear.
Unknown
random
[@0: The cat sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "bear" "+")
@0: The bear chases the mouse.[(triple1)] The bear is cold.[(triple2)] The bear is rough.[(triple3)] The bear visits the cat.[(triple4)] The cat is rough.[(triple5)] The cat sees the mouse.[(triple6)] The cow is nice.[(triple7)] The cow sees the bear.[(triple8)] The cow visits the bear.[(triple9)] The mouse chases the cat.[(triple10)] @1: The bear is big.[(((triple4) -> rule2))] @2: The bear sees the cow.[(((((triple4) -> rule2)) -> rule1))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple6
The cow is nice.
("cow" "is" "nice" "+")
triple7
The cow sees the bear.
("cow" "sees" "bear" "+")
triple8
The cow visits the bear.
("cow" "visits" "bear" "+")
triple9
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple10
The bear is big.
("bear" "is" "big" "+")
((triple4) -> (rule2 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear sees the cow.
("bear" "sees" "cow" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The bear sees the cow.
("bear" "sees" "cow" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2