The bald eagle chases the rabbit. The dog is round. The dog likes the rabbit. The dog needs the rabbit. The mouse is kind. The mouse is round. The mouse likes the bald eagle. The mouse likes the rabbit. The mouse needs the rabbit. The rabbit is round. If someone is kind then they need the dog. If someone likes the rabbit and the rabbit is round then they are kind. If someone chases the dog and they like the bald eagle then the dog needs the mouse. If someone is young then they like the bald eagle. If someone chases the dog and they chase the bald eagle then they like the rabbit. If someone likes the dog and the dog chases the mouse then they chase the bald eagle. If someone is kind and they like the mouse then the mouse likes the dog. If someone needs the mouse then the mouse chases the rabbit.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
If someone is kind then they need the dog.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "dog" "+"))
If someone likes the rabbit and the rabbit is round then they are kind.
((("someone" "likes" "rabbit" "+") ("rabbit" "is" "round" "+")) -> ("someone" "is" "kind" "+"))
If someone chases the dog and they like the bald eagle then the dog needs the mouse.
((("someone" "chases" "dog" "+") ("someone" "likes" "bald eagle" "+")) -> ("dog" "needs" "mouse" "+"))
If someone is young then they like the bald eagle.
((("someone" "is" "young" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone chases the dog and they chase the bald eagle then they like the rabbit.
((("someone" "chases" "dog" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone likes the dog and the dog chases the mouse then they chase the bald eagle.
((("someone" "likes" "dog" "+") ("dog" "chases" "mouse" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone is kind and they like the mouse then the mouse likes the dog.
((("someone" "is" "kind" "+") ("someone" "likes" "mouse" "+")) -> ("mouse" "likes" "dog" "+"))
If someone needs the mouse then the mouse chases the rabbit.
((("someone" "needs" "mouse" "+")) -> ("mouse" "chases" "rabbit" "+"))
The mouse likes the bald eagle.
True
1
proof
[(triple7)]
("mouse" "likes" "bald eagle" "+")
triple7
The dog does not like the rabbit.
False
1
inv-proof
[(triple3)]
("dog" "likes" "rabbit" "-")
triple3
The dog is kind.
True
3
proof
[(((triple3 triple10) -> rule2))]
("dog" "is" "kind" "+")
((triple3 triple10) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog is not kind.
False
3
inv-proof
[(((triple3 triple10) -> rule2))]
("dog" "is" "kind" "-")
((triple3 triple10) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The mouse does not chase the rabbit.
Unknown
inv-rconc
[@2: The mouse chases the rabbit.[CWA. Example of deepest failure = (rule8 <- rule3 <- FAIL)]]
("mouse" "chases" "rabbit" "-")
The rabbit needs the dog.
Unknown
rconc
[@3: The rabbit needs the dog.[CWA. Example of deepest failure = (rule1 <- rule2 <- rule5 <- FAIL)]]
("rabbit" "needs" "dog" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The rabbit chases the mouse.
Unknown
random
[@0: The rabbit chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "mouse" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The dog is round.[(triple2)] The dog likes the rabbit.[(triple3)] The dog needs the rabbit.[(triple4)] The mouse is kind.[(triple5 OR ((triple8 triple10) -> rule2))] The mouse is round.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse likes the rabbit.[(triple8)] The mouse needs the rabbit.[(triple9)] The rabbit is round.[(triple10)] @1: The dog is kind.[(((triple3 triple10) -> rule2))] The mouse needs the dog.[(((triple5) -> rule1) OR ((((triple8 triple10) -> rule2)) -> rule1))] @2: The dog needs the dog.[(((((triple3 triple10) -> rule2)) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The dog is round.
("dog" "is" "round" "+")
triple2
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple3
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple4
The mouse is kind.
("mouse" "is" "kind" "+")
triple5
((triple8 triple10) -> (rule2 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple7
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple8
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The dog is kind.
("dog" "is" "kind" "+")
((triple3 triple10) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The mouse needs the dog.
("mouse" "needs" "dog" "+")
((triple5) -> (rule1 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1
((((triple8 triple10) -> (rule2 % int2))) -> (rule1 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1
The mouse is kind.
("mouse" "is" "kind" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
((((triple3 triple10) -> (rule2 % int2))) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
int2