The cow eats the dog. The cow is big. The cow is not green. The cow is rough. The cow likes the dog. The cow needs the dog. The dog eats the cow. The dog is green. The dog likes the cow. The dog needs the cow. If someone needs the dog then the dog is green. If someone eats the cow then the cow is red. If someone eats the cow then they like the cow. If someone likes the dog then they eat the cow. If someone eats the cow then the cow likes the dog. If someone needs the dog then the dog likes the cow.
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
If someone needs the dog then the dog is green.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "green" "+"))
If someone eats the cow then the cow is red.
((("someone" "eats" "cow" "+")) -> ("cow" "is" "red" "+"))
If someone eats the cow then they like the cow.
((("someone" "eats" "cow" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the dog then they eat the cow.
((("someone" "likes" "dog" "+")) -> ("someone" "eats" "cow" "+"))
If someone eats the cow then the cow likes the dog.
((("someone" "eats" "cow" "+")) -> ("cow" "likes" "dog" "+"))
If someone needs the dog then the dog likes the cow.
((("someone" "needs" "dog" "+")) -> ("dog" "likes" "cow" "+"))
The dog likes the cow.
True
1
proof
[(triple9 OR ((triple6) -> rule6) OR ((triple7) -> rule3))]
("dog" "likes" "cow" "+")
triple9
((triple6) -> (rule6 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
((triple7) -> (rule3 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The cow does not eat the dog.
False
1
inv-proof
[(triple1)]
("cow" "eats" "dog" "-")
triple1
The cow is red.
True
2
proof
[(((triple7) -> rule2) OR ((((triple5) -> rule4)) -> rule2) OR ((((((triple7) -> rule5)) -> rule4)) -> rule2))]
("cow" "is" "red" "+")
((triple7) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
((((((triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cow does not eat the cow.
False
2
inv-proof
[(((triple5) -> rule4) OR ((((triple7) -> rule5)) -> rule4))]
("cow" "eats" "cow" "-")
((triple5) -> (rule4 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule4 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "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 eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The cow eats the dog.[(triple1)] The cow is big.[(triple2)] The cow is not green.[(triple3)] The cow is rough.[(triple4)] The cow likes the dog.[(triple5 OR ((triple7) -> rule5))] The cow needs the dog.[(triple6)] The dog eats the cow.[(triple7)] The dog is green.[(triple8 OR ((triple6) -> rule1))] The dog likes the cow.[(triple9 OR ((triple6) -> rule6) OR ((triple7) -> rule3))] The dog needs the cow.[(triple10)] @1: The cow eats the cow.[(((triple5) -> rule4) OR ((((triple7) -> rule5)) -> rule4))] The cow is red.[(((triple7) -> rule2) OR ((((triple5) -> rule4)) -> rule2) OR ((((((triple7) -> rule5)) -> rule4)) -> rule2))] @2: The cow likes the cow.[(((((triple5) -> rule4)) -> rule3) OR ((((((triple7) -> rule5)) -> rule4)) -> rule3))]
The cow eats the dog.
("cow" "eats" "dog" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is not green.
("cow" "is" "green" "-")
triple3
The cow is rough.
("cow" "is" "rough" "+")
triple4
The cow likes the dog.
("cow" "likes" "dog" "+")
triple5
((triple7) -> (rule5 % int1))
The cow likes the dog.
("cow" "likes" "dog" "+")
int1
The cow needs the dog.
("cow" "needs" "dog" "+")
triple6
The dog eats the cow.
("dog" "eats" "cow" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
((triple6) -> (rule1 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
triple9
((triple6) -> (rule6 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
((triple7) -> (rule3 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
triple10
The cow eats the cow.
("cow" "eats" "cow" "+")
((triple5) -> (rule4 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule4 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow likes the dog.
("cow" "likes" "dog" "+")
int2
The cow is red.
("cow" "is" "red" "+")
((triple7) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
((((triple5) -> (rule4 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
((((((triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The cow is red.
("cow" "is" "red" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3
The cow likes the cow.
("cow" "likes" "cow" "+")
((((triple5) -> (rule4 % int2))) -> (rule3 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
((((((triple7) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow eats the cow.
("cow" "eats" "cow" "+")
int2
The cow likes the dog.
("cow" "likes" "dog" "+")
int3