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