The cow chases the dog. The cow is round. The dog chases the rabbit. The dog is green. The dog is kind. The dog is round. The dog likes the cow. The dog does not visit the rabbit. The rabbit chases the dog. The rabbit is not nice. The rabbit is round. The rabbit does not visit the cow. If something is round and not nice then it does not visit the dog. If something likes the cow and it is cold then the cow is not cold. If something chases the cow and the cow does not chase the dog then the dog is not kind.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is round.
("cow" "is" "round" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
If something is round and not nice then it does not visit the dog.
((("something" "is" "round" "+") ("something" "is" "nice" "~")) -> ("something" "visits" "dog" "-"))
If something likes the cow and it is cold then the cow is not cold.
((("something" "likes" "cow" "+") ("something" "is" "cold" "+")) -> ("cow" "is" "cold" "-"))
If something chases the cow and the cow does not chase the dog then the dog is not kind.
((("something" "chases" "cow" "+") ("cow" "chases" "dog" "~")) -> ("dog" "is" "kind" "-"))
The rabbit does not visit the cow.
True
1
proof
[(triple12)]
("rabbit" "visits" "cow" "-")
triple12
The rabbit does not chase the dog.
False
1
inv-proof
[(triple9)]
("rabbit" "chases" "dog" "-")
triple9
The rabbit does not visit the dog.
True
3
proof
[(((triple11 triple10) -> rule1))]
("rabbit" "visits" "dog" "-")
((triple11 triple10) -> (rule1 % int1))
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
int1
The rabbit visits the dog.
False
3
inv-proof
[(((triple11 triple10) -> rule1))]
("rabbit" "visits" "dog" "+")
((triple11 triple10) -> (rule1 % int1))
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
int1
The dog is not cold.
Unknown
inv-random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "-")
The dog likes the rabbit.
Unknown
random
[@0: The dog likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "rabbit" "+")
The rabbit does not like the rabbit.
Unknown
inv-random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The cow chases the dog.[(triple1)] The cow is round.[(triple2)] The dog chases the rabbit.[(triple3)] The dog does not visit the rabbit.[(triple8)] The dog is green.[(triple4)] The dog is kind.[(triple5)] The dog is round.[(triple6)] The dog likes the cow.[(triple7)] The rabbit chases the dog.[(triple9)] The rabbit does not visit the cow.[(triple12)] The rabbit is not nice.[(triple10)] The rabbit is round.[(triple11)] @1: The rabbit does not visit the dog.[(((triple11 triple10) -> rule1))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow is round.
("cow" "is" "round" "+")
triple2
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple3
The dog does not visit the rabbit.
("dog" "visits" "rabbit" "-")
triple8
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog likes the cow.
("dog" "likes" "cow" "+")
triple7
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple9
The rabbit does not visit the cow.
("rabbit" "visits" "cow" "-")
triple12
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple10
The rabbit is round.
("rabbit" "is" "round" "+")
triple11
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
((triple11 triple10) -> (rule1 % int1))
The rabbit does not visit the dog.
("rabbit" "visits" "dog" "-")
int1