The cow needs the rabbit. The dog is big. The dog does not like the cow. The dog needs the cow. The dog needs the rabbit. The rabbit is blue. The rabbit needs the cow. If someone likes the cow and they are blue then the cow is kind. If someone chases the rabbit then the rabbit does not like the cow. If someone is kind and they need the cow then the cow is not big. If someone needs the rabbit then they do not like the cow. If someone needs the rabbit then they chase the dog. If the dog is young and the dog is not round then the dog is kind. If someone likes the dog and they chase the cow then the cow does not like the dog. If the rabbit is round and the rabbit does not like the cow then the rabbit likes the dog.
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog does not like the cow.
("dog" "likes" "cow" "-")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
If someone likes the cow and they are blue then the cow is kind.
((("someone" "likes" "cow" "+") ("someone" "is" "blue" "+")) -> ("cow" "is" "kind" "+"))
If someone chases the rabbit then the rabbit does not like the cow.
((("someone" "chases" "rabbit" "+")) -> ("rabbit" "likes" "cow" "-"))
If someone is kind and they need the cow then the cow is not big.
((("someone" "is" "kind" "+") ("someone" "needs" "cow" "+")) -> ("cow" "is" "big" "-"))
If someone needs the rabbit then they do not like the cow.
((("someone" "needs" "rabbit" "+")) -> ("someone" "likes" "cow" "-"))
If someone needs the rabbit then they chase the dog.
((("someone" "needs" "rabbit" "+")) -> ("someone" "chases" "dog" "+"))
If the dog is young and the dog is not round then the dog is kind.
((("dog" "is" "young" "+") ("dog" "is" "round" "~")) -> ("dog" "is" "kind" "+"))
If someone likes the dog and they chase the cow then the cow does not like the dog.
((("someone" "likes" "dog" "+") ("someone" "chases" "cow" "+")) -> ("cow" "likes" "dog" "-"))
If the rabbit is round and the rabbit does not like the cow then the rabbit likes the dog.
((("rabbit" "is" "round" "+") ("rabbit" "likes" "cow" "~")) -> ("rabbit" "likes" "dog" "+"))
The dog is big.
True
1
proof
[(triple2)]
("dog" "is" "big" "+")
triple2
The cow does not need the rabbit.
False
1
inv-proof
[(triple1)]
("cow" "needs" "rabbit" "-")
triple1
The cow chases the dog.
True
2
proof
[(((triple1) -> rule5))]
("cow" "chases" "dog" "+")
((triple1) -> (rule5 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow does not chase the dog.
False
2
inv-proof
[(((triple1) -> rule5))]
("cow" "chases" "dog" "-")
((triple1) -> (rule5 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "kind" "-")
The rabbit likes the dog.
Unknown
rconc
[@1: The rabbit likes the dog.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "likes" "dog" "+")
The dog is not blue.
Unknown
inv-random
[@0: The dog is blue.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "blue" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The cow needs the rabbit.[(triple1)] The dog does not like the cow.[(triple3 OR ((triple5) -> rule4))] The dog is big.[(triple2)] The dog needs the cow.[(triple4)] The dog needs the rabbit.[(triple5)] The rabbit is blue.[(triple6)] The rabbit needs the cow.[(triple7)] @1: The cow chases the dog.[(((triple1) -> rule5))] The cow does not like the cow.[(((triple1) -> rule4))] The dog chases the dog.[(((triple5) -> rule5))]
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple1
The dog does not like the cow.
("dog" "likes" "cow" "-")
triple3
((triple5) -> (rule4 % int1))
The dog does not like the cow.
("dog" "likes" "cow" "-")
int1
The dog is big.
("dog" "is" "big" "+")
triple2
The dog needs the cow.
("dog" "needs" "cow" "+")
triple4
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple5
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple6
The rabbit needs the cow.
("rabbit" "needs" "cow" "+")
triple7
The cow chases the dog.
("cow" "chases" "dog" "+")
((triple1) -> (rule5 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow does not like the cow.
("cow" "likes" "cow" "-")
((triple1) -> (rule4 % int1))
The cow does not like the cow.
("cow" "likes" "cow" "-")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple5) -> (rule5 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1