The cow is not blue. The cow is young. The cow likes the dog. The cow needs the dog. The cow does not see the dog. The dog is blue. The dog is rough. The dog is young. The dog does not like the cow. The dog sees the cow. If something needs the dog and it is young then it likes the cow. If something needs the cow and it likes the cow then it likes the dog. If something is young and it likes the cow then the cow is not rough. If something sees the dog then the dog sees the cow. If something is red and it does not like the cow then the cow sees the dog. If the dog does not like the cow then the cow is red.
The cow is not blue.
("cow" "is" "blue" "-")
The cow is young.
("cow" "is" "young" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow does not see the dog.
("cow" "sees" "dog" "-")
The dog is blue.
("dog" "is" "blue" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is young.
("dog" "is" "young" "+")
The dog does not like the cow.
("dog" "likes" "cow" "-")
The dog sees the cow.
("dog" "sees" "cow" "+")
If something needs the dog and it is young then it likes the cow.
((("something" "needs" "dog" "+") ("something" "is" "young" "+")) -> ("something" "likes" "cow" "+"))
If something needs the cow and it likes the cow then it likes the dog.
((("something" "needs" "cow" "+") ("something" "likes" "cow" "+")) -> ("something" "likes" "dog" "+"))
If something is young and it likes the cow then the cow is not rough.
((("something" "is" "young" "+") ("something" "likes" "cow" "+")) -> ("cow" "is" "rough" "-"))
If something sees the dog then the dog sees the cow.
((("something" "sees" "dog" "+")) -> ("dog" "sees" "cow" "+"))
If something is red and it does not like the cow then the cow sees the dog.
((("something" "is" "red" "+") ("something" "likes" "cow" "~")) -> ("cow" "sees" "dog" "+"))
If the dog does not like the cow then the cow is red.
((("dog" "likes" "cow" "~")) -> ("cow" "is" "red" "+"))
The dog sees the cow.
True
1
proof
[(triple10)]
("dog" "sees" "cow" "+")
triple10
The cow sees the dog.
False
1
inv-proof
[(triple5)]
("cow" "sees" "dog" "+")
triple5
The cow is red.
True
2
proof
[(((triple9) -> rule6))]
("cow" "is" "red" "+")
((triple9) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow does not like the cow.
False
3
inv-proof
[(((triple4 triple2) -> rule1))]
("cow" "likes" "cow" "-")
((triple4 triple2) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is not rough.
True
5
proof
[(((triple2 ((triple4 triple2) -> rule1)) -> rule3))]
("cow" "is" "rough" "-")
((triple2 ((triple4 triple2) -> (rule1 % int2))) -> (rule3 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The cow is rough.
False
5
inv-proof
[(((triple2 ((triple4 triple2) -> rule1)) -> rule3))]
("cow" "is" "rough" "+")
((triple2 ((triple4 triple2) -> (rule1 % int2))) -> (rule3 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "dog" "-")
The dog needs the cow.
Unknown
random
[@0: The dog needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "cow" "+")
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 cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "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 cow does not see the dog.[(triple5)] The cow is not blue.[(triple1)] The cow is young.[(triple2)] The cow likes the dog.[(triple3)] The cow needs the dog.[(triple4)] The dog does not like the cow.[(triple9)] The dog is blue.[(triple6)] The dog is rough.[(triple7)] The dog is young.[(triple8)] The dog sees the cow.[(triple10)] @1: The cow is red.[(((triple9) -> rule6))] The cow likes the cow.[(((triple4 triple2) -> rule1))] @2: The cow is not rough.[(((triple2 ((triple4 triple2) -> rule1)) -> rule3))]
The cow does not see the dog.
("cow" "sees" "dog" "-")
triple5
The cow is not blue.
("cow" "is" "blue" "-")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The cow likes the dog.
("cow" "likes" "dog" "+")
triple3
The cow needs the dog.
("cow" "needs" "dog" "+")
triple4
The dog does not like the cow.
("dog" "likes" "cow" "-")
triple9
The dog is blue.
("dog" "is" "blue" "+")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple7
The dog is young.
("dog" "is" "young" "+")
triple8
The dog sees the cow.
("dog" "sees" "cow" "+")
triple10
The cow is red.
("cow" "is" "red" "+")
((triple9) -> (rule6 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
((triple4 triple2) -> (rule1 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is not rough.
("cow" "is" "rough" "-")
((triple2 ((triple4 triple2) -> (rule1 % int2))) -> (rule3 % int1))
The cow is not rough.
("cow" "is" "rough" "-")
int1
The cow likes the cow.
("cow" "likes" "cow" "+")
int2