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