The bear chases the squirrel. The bear eats the squirrel. The bear is big. The bear is not nice. The bear is rough. The bear visits the squirrel. The squirrel chases the bear. The squirrel eats the bear. The squirrel is big. The squirrel visits the bear. If something is kind then it chases the squirrel. If something eats the bear and it is not kind then it chases the squirrel. If the squirrel is big then the squirrel eats the bear. If something visits the squirrel then it is blue. If something chases the bear and the bear eats the squirrel then the bear visits the squirrel. If the bear chases the squirrel and the bear is big then the bear visits the squirrel. If the bear visits the squirrel and the bear is rough then the bear chases the squirrel. If the squirrel does not visit the bear and the squirrel is not nice then the squirrel chases the bear.
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
If something is kind then it chases the squirrel.
((("something" "is" "kind" "+")) -> ("something" "chases" "squirrel" "+"))
If something eats the bear and it is not kind then it chases the squirrel.
((("something" "eats" "bear" "+") ("something" "is" "kind" "~")) -> ("something" "chases" "squirrel" "+"))
If the squirrel is big then the squirrel eats the bear.
((("squirrel" "is" "big" "+")) -> ("squirrel" "eats" "bear" "+"))
If something visits the squirrel then it is blue.
((("something" "visits" "squirrel" "+")) -> ("something" "is" "blue" "+"))
If something chases the bear and the bear eats the squirrel then the bear visits the squirrel.
((("something" "chases" "bear" "+") ("bear" "eats" "squirrel" "+")) -> ("bear" "visits" "squirrel" "+"))
If the bear chases the squirrel and the bear is big then the bear visits the squirrel.
((("bear" "chases" "squirrel" "+") ("bear" "is" "big" "+")) -> ("bear" "visits" "squirrel" "+"))
If the bear visits the squirrel and the bear is rough then the bear chases the squirrel.
((("bear" "visits" "squirrel" "+") ("bear" "is" "rough" "+")) -> ("bear" "chases" "squirrel" "+"))
If the squirrel does not visit the bear and the squirrel is not nice then the squirrel chases the bear.
((("squirrel" "visits" "bear" "~") ("squirrel" "is" "nice" "~")) -> ("squirrel" "chases" "bear" "+"))
The squirrel visits the bear.
True
1
proof
[(triple10)]
("squirrel" "visits" "bear" "+")
triple10
The squirrel does not eat the bear.
False
1
inv-proof
[(triple8 OR ((triple9) -> rule3))]
("squirrel" "eats" "bear" "-")
triple8
((triple9) -> (rule3 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The bear is blue.
True
2
proof
[(((triple6) -> rule4) OR ((((triple1 triple3) -> rule6)) -> rule4) OR ((((triple7 triple2) -> rule5)) -> rule4))]
("bear" "is" "blue" "+")
((triple6) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((((triple1 triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
((((triple7 triple2) -> (rule5 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
The bear is not blue.
False
2
inv-proof
[(((triple6) -> rule4) OR ((((triple1 triple3) -> rule6)) -> rule4) OR ((((triple7 triple2) -> rule5)) -> rule4))]
("bear" "is" "blue" "-")
((triple6) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((((triple1 triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
((((triple7 triple2) -> (rule5 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
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 = (rule1 <- FAIL)]]
("squirrel" "chases" "squirrel" "-")
The squirrel is blue.
Unknown
rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "is" "blue" "+")
The bear is not kind.
Unknown
inv-random
[@0: The bear is kind.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "kind" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
@0: The bear chases the squirrel.[(triple1 OR ((triple6 triple5) -> rule7) OR ((((triple7 triple2) -> rule5) triple5) -> rule7))] The bear eats the squirrel.[(triple2)] The bear is big.[(triple3)] The bear is not nice.[(triple4)] The bear is rough.[(triple5)] The bear visits the squirrel.[(triple6 OR ((triple1 triple3) -> rule6) OR ((triple7 triple2) -> rule5))] The squirrel chases the bear.[(triple7)] The squirrel eats the bear.[(triple8 OR ((triple9) -> rule3))] The squirrel is big.[(triple9)] The squirrel visits the bear.[(triple10)] @1: The bear is blue.[(((triple6) -> rule4) OR ((((triple1 triple3) -> rule6)) -> rule4) OR ((((triple7 triple2) -> rule5)) -> rule4))]
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple1
((triple6 triple5) -> (rule7 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
((((triple7 triple2) -> (rule5 % int2)) triple5) -> (rule7 % int1))
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
The bear eats the squirrel.
("bear" "eats" "squirrel" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is not nice.
("bear" "is" "nice" "-")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple6
((triple1 triple3) -> (rule6 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
((triple7 triple2) -> (rule5 % int1))
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int1
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
triple7
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
triple8
((triple9) -> (rule3 % int1))
The squirrel eats the bear.
("squirrel" "eats" "bear" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
triple9
The squirrel visits the bear.
("squirrel" "visits" "bear" "+")
triple10
The bear is blue.
("bear" "is" "blue" "+")
((triple6) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((((triple1 triple3) -> (rule6 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2
((((triple7 triple2) -> (rule5 % int2))) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
int2