The bear is red. The bear likes the cow. The cow does not chase the bear. The cow is not nice. The cow is red. The cow likes the bear. The cow needs the bear. The cow needs the dog. The dog chases the bear. The dog chases the cow. The dog is blue. The dog is red. The dog likes the bear. The dog likes the cow. The dog needs the cow. If someone is green and they need the dog then the dog needs the bear. If someone needs the bear then they are green.
The bear is red.
("bear" "is" "red" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow does not chase the bear.
("cow" "chases" "bear" "-")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is red.
("cow" "is" "red" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
If someone is green and they need the dog then the dog needs the bear.
((("someone" "is" "green" "+") ("someone" "needs" "dog" "+")) -> ("dog" "needs" "bear" "+"))
If someone needs the bear then they are green.
((("someone" "needs" "bear" "+")) -> ("someone" "is" "green" "+"))
The dog likes the cow.
True
1
proof
[(triple14)]
("dog" "likes" "cow" "+")
triple14
The cow does not like the bear.
False
1
inv-proof
[(triple6)]
("cow" "likes" "bear" "-")
triple6
The cow is green.
True
2
proof
[(((triple7) -> rule2))]
("cow" "is" "green" "+")
((triple7) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is not green.
False
2
inv-proof
[(((triple7) -> rule2))]
("cow" "is" "green" "-")
((triple7) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The dog needs the bear.
True
4
proof
[(((((triple7) -> rule2) triple8) -> rule1))]
("dog" "needs" "bear" "+")
((((triple7) -> (rule2 % int2)) triple8) -> (rule1 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The dog does not need the bear.
False
4
inv-proof
[(((((triple7) -> rule2) triple8) -> rule1))]
("dog" "needs" "bear" "-")
((((triple7) -> (rule2 % int2)) triple8) -> (rule1 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The dog is green.
True
5
proof
[(((((((triple7) -> rule2) triple8) -> rule1)) -> rule2))]
("dog" "is" "green" "+")
((((((triple7) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The dog is not green.
False
5
inv-proof
[(((((((triple7) -> rule2) triple8) -> rule1)) -> rule2))]
("dog" "is" "green" "-")
((((((triple7) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3
The bear is not green.
Unknown
inv-rconc
[@1: The bear is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "is" "green" "-")
The bear chases the cow.
Unknown
random
[@0: The bear chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "cow" "+")
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The bear is red.[(triple1)] The bear likes the cow.[(triple2)] The cow does not chase the bear.[(triple3)] The cow is not nice.[(triple4)] The cow is red.[(triple5)] The cow likes the bear.[(triple6)] The cow needs the bear.[(triple7)] The cow needs the dog.[(triple8)] The dog chases the bear.[(triple9)] The dog chases the cow.[(triple10)] The dog is blue.[(triple11)] The dog is red.[(triple12)] The dog likes the bear.[(triple13)] The dog likes the cow.[(triple14)] The dog needs the cow.[(triple15)] @1: The cow is green.[(((triple7) -> rule2))] @2: The dog needs the bear.[(((((triple7) -> rule2) triple8) -> rule1))] @3: The dog is green.[(((((((triple7) -> rule2) triple8) -> rule1)) -> rule2))]
The bear is red.
("bear" "is" "red" "+")
triple1
The bear likes the cow.
("bear" "likes" "cow" "+")
triple2
The cow does not chase the bear.
("cow" "chases" "bear" "-")
triple3
The cow is not nice.
("cow" "is" "nice" "-")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow likes the bear.
("cow" "likes" "bear" "+")
triple6
The cow needs the bear.
("cow" "needs" "bear" "+")
triple7
The cow needs the dog.
("cow" "needs" "dog" "+")
triple8
The dog chases the bear.
("dog" "chases" "bear" "+")
triple9
The dog chases the cow.
("dog" "chases" "cow" "+")
triple10
The dog is blue.
("dog" "is" "blue" "+")
triple11
The dog is red.
("dog" "is" "red" "+")
triple12
The dog likes the bear.
("dog" "likes" "bear" "+")
triple13
The dog likes the cow.
("dog" "likes" "cow" "+")
triple14
The dog needs the cow.
("dog" "needs" "cow" "+")
triple15
The cow is green.
("cow" "is" "green" "+")
((triple7) -> (rule2 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
((((triple7) -> (rule2 % int2)) triple8) -> (rule1 % int1))
The dog needs the bear.
("dog" "needs" "bear" "+")
int1
The cow is green.
("cow" "is" "green" "+")
int2
The dog is green.
("dog" "is" "green" "+")
((((((triple7) -> (rule2 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog needs the bear.
("dog" "needs" "bear" "+")
int2
The cow is green.
("cow" "is" "green" "+")
int3