The cow is big. The cow is young. The cow likes the dog. The cow visits the dog. The dog does not chase the cow. The dog is not big. The dog is not cold. The dog is green. The dog is nice. The dog is young. The dog likes the cow. The dog visits the cow. If someone visits the cow then the cow is cold.
The cow is big.
("cow" "is" "big" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog does not chase the cow.
("dog" "chases" "cow" "-")
The dog is not big.
("dog" "is" "big" "-")
The dog is not cold.
("dog" "is" "cold" "-")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If someone visits the cow then the cow is cold.
((("someone" "visits" "cow" "+")) -> ("cow" "is" "cold" "+"))
The dog is young.
True
1
proof
[(triple10)]
("dog" "is" "young" "+")
triple10
The cow is not young.
False
1
inv-proof
[(triple2)]
("cow" "is" "young" "-")
triple2
The cow is cold.
True
2
proof
[(((triple12) -> rule1))]
("cow" "is" "cold" "+")
((triple12) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow is not cold.
False
2
inv-proof
[(((triple12) -> rule1))]
("cow" "is" "cold" "-")
((triple12) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
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 cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The cow is big.[(triple1)] The cow is young.[(triple2)] The cow likes the dog.[(triple3)] The cow visits the dog.[(triple4)] The dog does not chase the cow.[(triple5)] The dog is green.[(triple8)] The dog is nice.[(triple9)] The dog is not big.[(triple6)] The dog is not cold.[(triple7)] The dog is young.[(triple10)] The dog likes the cow.[(triple11)] The dog visits the cow.[(triple12)] @1: The cow is cold.[(((triple12) -> rule1))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow is young.
("cow" "is" "young" "+")
triple2
The cow likes the dog.
("cow" "likes" "dog" "+")
triple3
The cow visits the dog.
("cow" "visits" "dog" "+")
triple4
The dog does not chase the cow.
("dog" "chases" "cow" "-")
triple5
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is nice.
("dog" "is" "nice" "+")
triple9
The dog is not big.
("dog" "is" "big" "-")
triple6
The dog is not cold.
("dog" "is" "cold" "-")
triple7
The dog is young.
("dog" "is" "young" "+")
triple10
The dog likes the cow.
("dog" "likes" "cow" "+")
triple11
The dog visits the cow.
("dog" "visits" "cow" "+")
triple12
The cow is cold.
("cow" "is" "cold" "+")
((triple12) -> (rule1 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1