The cow chases the dog. The cow chases the rabbit. The cow is cold. The cow likes the dog. The cow likes the rabbit. The cow needs the dog. The dog chases the rabbit. The dog is not red. The dog is young. The dog likes the cow. The dog likes the rabbit. The dog needs the cow. The dog needs the rabbit. The rabbit chases the cow. The rabbit is kind. The rabbit is not young. If something likes the rabbit then the rabbit likes the dog. If something needs the cow then the cow is not kind. If something is round then it needs the rabbit. If something needs the dog then it chases the rabbit. If something chases the rabbit and it is round then it needs the cow. If the rabbit does not need the cow then the rabbit is kind.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is not red.
("dog" "is" "red" "-")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
If something likes the rabbit then the rabbit likes the dog.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "likes" "dog" "+"))
If something needs the cow then the cow is not kind.
((("something" "needs" "cow" "+")) -> ("cow" "is" "kind" "-"))
If something is round then it needs the rabbit.
((("something" "is" "round" "+")) -> ("something" "needs" "rabbit" "+"))
If something needs the dog then it chases the rabbit.
((("something" "needs" "dog" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the rabbit and it is round then it needs the cow.
((("something" "chases" "rabbit" "+") ("something" "is" "round" "+")) -> ("something" "needs" "cow" "+"))
If the rabbit does not need the cow then the rabbit is kind.
((("rabbit" "needs" "cow" "~")) -> ("rabbit" "is" "kind" "+"))
The dog is not red.
True
1
proof
[(triple8)]
("dog" "is" "red" "-")
triple8
The rabbit is young.
False
1
inv-proof
[(triple16)]
("rabbit" "is" "young" "+")
triple16
The rabbit does not chase the rabbit.
Unknown
inv-rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "chases" "rabbit" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The cow chases the dog.[(triple1)] The cow chases the rabbit.[(triple2 OR ((triple6) -> rule4))] The cow is cold.[(triple3)] The cow likes the dog.[(triple4)] The cow likes the rabbit.[(triple5)] The cow needs the dog.[(triple6)] The dog chases the rabbit.[(triple7)] The dog is not red.[(triple8)] The dog is young.[(triple9)] The dog likes the cow.[(triple10)] The dog likes the rabbit.[(triple11)] The dog needs the cow.[(triple12)] The dog needs the rabbit.[(triple13)] The rabbit chases the cow.[(triple14)] The rabbit is kind.[(triple15)] The rabbit is not young.[(triple16)] @1: The cow is not kind.[(((triple12) -> rule2))] The rabbit likes the dog.[(((triple11) -> rule1) OR ((triple5) -> rule1))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple2
((triple6) -> (rule4 % int1))
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow likes the dog.
("cow" "likes" "dog" "+")
triple4
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple5
The cow needs the dog.
("cow" "needs" "dog" "+")
triple6
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple7
The dog is not red.
("dog" "is" "red" "-")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog likes the cow.
("dog" "likes" "cow" "+")
triple10
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple11
The dog needs the cow.
("dog" "needs" "cow" "+")
triple12
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple13
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple14
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple15
The rabbit is not young.
("rabbit" "is" "young" "-")
triple16
The cow is not kind.
("cow" "is" "kind" "-")
((triple12) -> (rule2 % int1))
The cow is not kind.
("cow" "is" "kind" "-")
int1
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
((triple11) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1
((triple5) -> (rule1 % int1))
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
int1