The bear is not young. The bear needs the cow. The cow is not nice. The cow is not young. The cow likes the squirrel. The cow needs the dog. The cow needs the squirrel. The cow visits the squirrel. The dog is round. The dog likes the bear. The dog does not need the cow. The dog visits the cow. The squirrel is blue. The squirrel is cold. The squirrel likes the cow. The squirrel does not visit the dog. Round people are nice. Blue people are not nice.
The bear is not young.
("bear" "is" "young" "-")
The bear needs the cow.
("bear" "needs" "cow" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is not young.
("cow" "is" "young" "-")
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog does not need the cow.
("dog" "needs" "cow" "-")
The dog visits the cow.
("dog" "visits" "cow" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
The squirrel does not visit the dog.
("squirrel" "visits" "dog" "-")
Round people are nice.
((("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Blue people are not nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "-"))
The cow is not young.
True
1
proof
[(triple4)]
("cow" "is" "young" "-")
triple4
The cow does not need the dog.
False
1
inv-proof
[(triple6)]
("cow" "needs" "dog" "-")
triple6
The dog is nice.
True
2
proof
[(((triple9) -> rule1))]
("dog" "is" "nice" "+")
((triple9) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is nice.
False
2
inv-proof
[(((triple13) -> rule2))]
("squirrel" "is" "nice" "+")
((triple13) -> (rule2 % int1))
The squirrel is not nice.
("squirrel" "is" "nice" "-")
int1
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "nice" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The dog does not like the squirrel.
Unknown
inv-random
[@0: The dog likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "squirrel" "-")
The squirrel likes the bear.
Unknown
random
[@0: The squirrel likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bear" "+")
@0: The bear is not young.[(triple1)] The bear needs the cow.[(triple2)] The cow is not nice.[(triple3)] The cow is not young.[(triple4)] The cow likes the squirrel.[(triple5)] The cow needs the dog.[(triple6)] The cow needs the squirrel.[(triple7)] The cow visits the squirrel.[(triple8)] The dog does not need the cow.[(triple11)] The dog is round.[(triple9)] The dog likes the bear.[(triple10)] The dog visits the cow.[(triple12)] The squirrel does not visit the dog.[(triple16)] The squirrel is blue.[(triple13)] The squirrel is cold.[(triple14)] The squirrel likes the cow.[(triple15)] @1: The dog is nice.[(((triple9) -> rule1))] The squirrel is not nice.[(((triple13) -> rule2))]
The bear is not young.
("bear" "is" "young" "-")
triple1
The bear needs the cow.
("bear" "needs" "cow" "+")
triple2
The cow is not nice.
("cow" "is" "nice" "-")
triple3
The cow is not young.
("cow" "is" "young" "-")
triple4
The cow likes the squirrel.
("cow" "likes" "squirrel" "+")
triple5
The cow needs the dog.
("cow" "needs" "dog" "+")
triple6
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
triple7
The cow visits the squirrel.
("cow" "visits" "squirrel" "+")
triple8
The dog does not need the cow.
("dog" "needs" "cow" "-")
triple11
The dog is round.
("dog" "is" "round" "+")
triple9
The dog likes the bear.
("dog" "likes" "bear" "+")
triple10
The dog visits the cow.
("dog" "visits" "cow" "+")
triple12
The squirrel does not visit the dog.
("squirrel" "visits" "dog" "-")
triple16
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple13
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple14
The squirrel likes the cow.
("squirrel" "likes" "cow" "+")
triple15
The dog is nice.
("dog" "is" "nice" "+")
((triple9) -> (rule1 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The squirrel is not nice.
("squirrel" "is" "nice" "-")
((triple13) -> (rule2 % int1))
The squirrel is not nice.
("squirrel" "is" "nice" "-")
int1