The cow likes the dog. The cow needs the dog. The dog chases the cow. The dog is cold. The dog is nice. The dog is young. The dog needs the cow. If the cow chases the dog then the cow is cold. If someone is cold and they like the dog then the dog needs the cow. If someone chases the cow then the cow chases the dog.
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
If the cow chases the dog then the cow is cold.
((("cow" "chases" "dog" "+")) -> ("cow" "is" "cold" "+"))
If someone is cold and they like the dog then the dog needs the cow.
((("someone" "is" "cold" "+") ("someone" "likes" "dog" "+")) -> ("dog" "needs" "cow" "+"))
If someone chases the cow then the cow chases the dog.
((("someone" "chases" "cow" "+")) -> ("cow" "chases" "dog" "+"))
The dog is cold.
True
1
proof
[(triple4)]
("dog" "is" "cold" "+")
triple4
The dog does not chase the cow.
False
1
inv-proof
[(triple3)]
("dog" "chases" "cow" "-")
triple3
The cow chases the dog.
True
2
proof
[(((triple3) -> rule3))]
("cow" "chases" "dog" "+")
((triple3) -> (rule3 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow does not chase the dog.
False
2
inv-proof
[(((triple3) -> rule3))]
("cow" "chases" "dog" "-")
((triple3) -> (rule3 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow is cold.
True
3
proof
[(((((triple3) -> rule3)) -> rule1))]
("cow" "is" "cold" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The cow is not cold.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule1))]
("cow" "is" "cold" "-")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
The cow is not red.
Unknown
inv-random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "-")
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 likes the cow.
Unknown
random
[@0: The dog likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cow" "+")
@0: The cow likes the dog.[(triple1)] The cow needs the dog.[(triple2)] The dog chases the cow.[(triple3)] The dog is cold.[(triple4)] The dog is nice.[(triple5)] The dog is young.[(triple6)] The dog needs the cow.[(triple7 OR ((((((triple3) -> rule3)) -> rule1) triple1) -> rule2))] @1: The cow chases the dog.[(((triple3) -> rule3))] @2: The cow is cold.[(((((triple3) -> rule3)) -> rule1))]
The cow likes the dog.
("cow" "likes" "dog" "+")
triple1
The cow needs the dog.
("cow" "needs" "dog" "+")
triple2
The dog chases the cow.
("dog" "chases" "cow" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The dog needs the cow.
("dog" "needs" "cow" "+")
triple7
((((((triple3) -> (rule3 % int3))) -> (rule1 % int2)) triple1) -> (rule2 % int1))
The dog needs the cow.
("dog" "needs" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow chases the dog.
("cow" "chases" "dog" "+")
int3
The cow chases the dog.
("cow" "chases" "dog" "+")
((triple3) -> (rule3 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow chases the dog.
("cow" "chases" "dog" "+")
int2