The bear chases the squirrel. The bear is young. The bear sees the squirrel. The bear visits the cat. The bear visits the squirrel. The cat chases the bear. The cat is big. The cat sees the squirrel. The cat visits the bear. The cat visits the squirrel. The squirrel is cold. The squirrel is rough. The squirrel is young. The squirrel sees the bear. The squirrel visits the bear. If something visits the bear then it chases the cat. If the bear sees the cat then the bear chases the cat. If something chases the cat then it chases the squirrel.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The cat chases the bear.
("cat" "chases" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is rough.
("squirrel" "is" "rough" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something visits the bear then it chases the cat.
((("something" "visits" "bear" "+")) -> ("something" "chases" "cat" "+"))
If the bear sees the cat then the bear chases the cat.
((("bear" "sees" "cat" "+")) -> ("bear" "chases" "cat" "+"))
If something chases the cat then it chases the squirrel.
((("something" "chases" "cat" "+")) -> ("something" "chases" "squirrel" "+"))
The cat sees the squirrel.
True
1
proof
[(triple8)]
("cat" "sees" "squirrel" "+")
triple8
The squirrel does not see the bear.
False
1
inv-proof
[(triple14)]
("squirrel" "sees" "bear" "-")
triple14
The cat chases the cat.
True
2
proof
[(((triple9) -> rule1))]
("cat" "chases" "cat" "+")
((triple9) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple9) -> rule1))]
("cat" "chases" "cat" "-")
((triple9) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat chases the squirrel.
True
3
proof
[(((((triple9) -> rule1)) -> rule3))]
("cat" "chases" "squirrel" "+")
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat does not chase the squirrel.
False
3
inv-proof
[(((((triple9) -> rule1)) -> rule3))]
("cat" "chases" "squirrel" "-")
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The bear does not chase the cat.
Unknown
inv-rconc
[@1: The bear chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "chases" "cat" "-")
The bear sees the cat.
Unknown
random
[@0: The bear sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "cat" "+")
The squirrel does not chase the bear.
Unknown
inv-random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "-")
The bear is cold.
Unknown
random
[@0: The bear is cold.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "cold" "+")
The squirrel is not green.
Unknown
inv-random
[@0: The squirrel is green.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "green" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bear chases the squirrel.[(triple1)] The bear is young.[(triple2)] The bear sees the squirrel.[(triple3)] The bear visits the cat.[(triple4)] The bear visits the squirrel.[(triple5)] The cat chases the bear.[(triple6)] The cat is big.[(triple7)] The cat sees the squirrel.[(triple8)] The cat visits the bear.[(triple9)] The cat visits the squirrel.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is rough.[(triple12)] The squirrel is young.[(triple13)] The squirrel sees the bear.[(triple14)] The squirrel visits the bear.[(triple15)] @1: The cat chases the cat.[(((triple9) -> rule1))] The squirrel chases the cat.[(((triple15) -> rule1))] @2: The cat chases the squirrel.[(((((triple9) -> rule1)) -> rule3))] The squirrel chases the squirrel.[(((((triple15) -> rule1)) -> rule3))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear sees the squirrel.
("bear" "sees" "squirrel" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple5
The cat chases the bear.
("cat" "chases" "bear" "+")
triple6
The cat is big.
("cat" "is" "big" "+")
triple7
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple8
The cat visits the bear.
("cat" "visits" "bear" "+")
triple9
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple10
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple11
The squirrel is rough.
("squirrel" "is" "rough" "+")
triple12
The squirrel is young.
("squirrel" "is" "young" "+")
triple13
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple14
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple15
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple9) -> (rule1 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
((triple15) -> (rule1 % int1))
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int1
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
((((triple9) -> (rule1 % int2))) -> (rule3 % int1))
The cat chases the squirrel.
("cat" "chases" "squirrel" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((((triple15) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The squirrel chases the cat.
("squirrel" "chases" "cat" "+")
int2