The bear is cold. The bear is not nice. The bear does not visit the squirrel. The cat chases the cow. The cat does not need the bear. The cat visits the bear. The cat does not visit the cow. The cow chases the bear. The cow visits the cat. The cow does not visit the squirrel. The squirrel does not chase the bear. The squirrel is cold. The squirrel is nice. The squirrel is round. The squirrel needs the bear. The squirrel does not visit the cow. If the squirrel visits the cat and the cat chases the bear then the cat chases the squirrel. If someone chases the cow and they are not nice then the cow is not young. If the squirrel needs the bear then the bear does not visit the cow.
The bear is cold.
("bear" "is" "cold" "+")
The bear is not nice.
("bear" "is" "nice" "-")
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat does not need the bear.
("cat" "needs" "bear" "-")
The cat visits the bear.
("cat" "visits" "bear" "+")
The cat does not visit the cow.
("cat" "visits" "cow" "-")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The cow does not visit the squirrel.
("cow" "visits" "squirrel" "-")
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
If the squirrel visits the cat and the cat chases the bear then the cat chases the squirrel.
((("squirrel" "visits" "cat" "+") ("cat" "chases" "bear" "+")) -> ("cat" "chases" "squirrel" "+"))
If someone chases the cow and they are not nice then the cow is not young.
((("someone" "chases" "cow" "+") ("someone" "is" "nice" "~")) -> ("cow" "is" "young" "-"))
If the squirrel needs the bear then the bear does not visit the cow.
((("squirrel" "needs" "bear" "+")) -> ("bear" "visits" "cow" "-"))
The bear is not nice.
True
1
proof
[(triple2)]
("bear" "is" "nice" "-")
triple2
The cow does not chase the bear.
False
1
inv-proof
[(triple8)]
("cow" "chases" "bear" "-")
triple8
The bear does not visit the cow.
True
2
proof
[(((triple15) -> rule3))]
("bear" "visits" "cow" "-")
((triple15) -> (rule3 % int1))
The bear does not visit the cow.
("bear" "visits" "cow" "-")
int1
The bear visits the cow.
False
2
inv-proof
[(((triple15) -> rule3))]
("bear" "visits" "cow" "+")
((triple15) -> (rule3 % int1))
The bear does not visit the cow.
("bear" "visits" "cow" "-")
int1
The cat does not chase the squirrel.
Unknown
inv-rconc
[@1: The cat chases the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "chases" "squirrel" "-")
The squirrel chases the cat.
Unknown
random
[@0: The squirrel chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cat" "+")
The squirrel does not chase the cow.
Unknown
inv-random
[@0: The squirrel chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "cow" "-")
The bear needs the cow.
Unknown
random
[@0: The bear needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "cow" "+")
@0: The bear does not visit the squirrel.[(triple3)] The bear is cold.[(triple1)] The bear is not nice.[(triple2)] The cat chases the cow.[(triple4)] The cat does not need the bear.[(triple5)] The cat does not visit the cow.[(triple7)] The cat visits the bear.[(triple6)] The cow chases the bear.[(triple8)] The cow does not visit the squirrel.[(triple10)] The cow visits the cat.[(triple9)] The squirrel does not chase the bear.[(triple11)] The squirrel does not visit the cow.[(triple16)] The squirrel is cold.[(triple12)] The squirrel is nice.[(triple13)] The squirrel is round.[(triple14)] The squirrel needs the bear.[(triple15)] @1: The bear does not visit the cow.[(((triple15) -> rule3))]
The bear does not visit the squirrel.
("bear" "visits" "squirrel" "-")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is not nice.
("bear" "is" "nice" "-")
triple2
The cat chases the cow.
("cat" "chases" "cow" "+")
triple4
The cat does not need the bear.
("cat" "needs" "bear" "-")
triple5
The cat does not visit the cow.
("cat" "visits" "cow" "-")
triple7
The cat visits the bear.
("cat" "visits" "bear" "+")
triple6
The cow chases the bear.
("cow" "chases" "bear" "+")
triple8
The cow does not visit the squirrel.
("cow" "visits" "squirrel" "-")
triple10
The cow visits the cat.
("cow" "visits" "cat" "+")
triple9
The squirrel does not chase the bear.
("squirrel" "chases" "bear" "-")
triple11
The squirrel does not visit the cow.
("squirrel" "visits" "cow" "-")
triple16
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple12
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple13
The squirrel is round.
("squirrel" "is" "round" "+")
triple14
The squirrel needs the bear.
("squirrel" "needs" "bear" "+")
triple15
The bear does not visit the cow.
("bear" "visits" "cow" "-")
((triple15) -> (rule3 % int1))
The bear does not visit the cow.
("bear" "visits" "cow" "-")
int1