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