The bear is cold. The bear is green. The bear needs the cow. The bear sees the dog. The cow is cold. The cow is green. The cow sees the bear. The dog eats the cow. The dog is cold. The dog is green. The dog is young. The dog needs the cow. If the dog is cold and the dog is round then the dog needs the bear. If something needs the cow and the cow is green then it is round.
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow sees the bear.
("cow" "sees" "bear" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
If the dog is cold and the dog is round then the dog needs the bear.
((("dog" "is" "cold" "+") ("dog" "is" "round" "+")) -> ("dog" "needs" "bear" "+"))
If something needs the cow and the cow is green then it is round.
((("something" "needs" "cow" "+") ("cow" "is" "green" "+")) -> ("something" "is" "round" "+"))
The bear needs the cow.
True
1
proof
[(triple3)]
("bear" "needs" "cow" "+")
triple3
The dog does not need the cow.
False
1
inv-proof
[(triple12)]
("dog" "needs" "cow" "-")
triple12
The bear is round.
True
3
proof
[(((triple3 triple6) -> rule2))]
("bear" "is" "round" "+")
((triple3 triple6) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog is not round.
False
3
inv-proof
[(((triple12 triple6) -> rule2))]
("dog" "is" "round" "-")
((triple12 triple6) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog needs the bear.
True
5
proof
[(((triple9 ((triple12 triple6) -> rule2)) -> rule1))]
("dog" "needs" "bear" "+")
((triple9 ((triple12 triple6) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The dog does not need the bear.
False
5
inv-proof
[(((triple9 ((triple12 triple6) -> rule2)) -> rule1))]
("dog" "needs" "bear" "-")
((triple9 ((triple12 triple6) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "round" "-")
The dog sees the bear.
Unknown
random
[@0: The dog sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bear" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The bear is cold.[(triple1)] The bear is green.[(triple2)] The bear needs the cow.[(triple3)] The bear sees the dog.[(triple4)] The cow is cold.[(triple5)] The cow is green.[(triple6)] The cow sees the bear.[(triple7)] The dog eats the cow.[(triple8)] The dog is cold.[(triple9)] The dog is green.[(triple10)] The dog is young.[(triple11)] The dog needs the cow.[(triple12)] @1: The bear is round.[(((triple3 triple6) -> rule2))] The dog is round.[(((triple12 triple6) -> rule2))] @2: The dog needs the bear.[(((triple9 ((triple12 triple6) -> rule2)) -> rule1))]
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear needs the cow.
("bear" "needs" "cow" "+")
triple3
The bear sees the dog.
("bear" "sees" "dog" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
The cow is green.
("cow" "is" "green" "+")
triple6
The cow sees the bear.
("cow" "sees" "bear" "+")
triple7
The dog eats the cow.
("dog" "eats" "cow" "+")
triple8
The dog is cold.
("dog" "is" "cold" "+")
triple9
The dog is green.
("dog" "is" "green" "+")
triple10
The dog is young.
("dog" "is" "young" "+")
triple11
The dog needs the cow.
("dog" "needs" "cow" "+")
triple12
The bear is round.
("bear" "is" "round" "+")
((triple3 triple6) -> (rule2 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The dog is round.
("dog" "is" "round" "+")
((triple12 triple6) -> (rule2 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
((triple9 ((triple12 triple6) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The dog is round.
("dog" "is" "round" "+")
int2