The bald eagle likes the mouse. The bald eagle likes the tiger. The dog chases the mouse. The dog is green. The mouse is not cold. The mouse is rough. The mouse likes the bald eagle. The mouse needs the bald eagle. The tiger chases the mouse. The tiger needs the mouse. If someone is young and they chase the dog then the dog needs the mouse. If someone is blue then they need the mouse. If someone is rough and young then they do not like the mouse. If someone is green then they like the bald eagle. If someone is blue and they need the mouse then they do not chase the tiger. If someone likes the dog and they chase the bald eagle then the dog is green.
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is green.
("dog" "is" "green" "+")
The mouse is not cold.
("mouse" "is" "cold" "-")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If someone is young and they chase the dog then the dog needs the mouse.
((("someone" "is" "young" "+") ("someone" "chases" "dog" "+")) -> ("dog" "needs" "mouse" "+"))
If someone is blue then they need the mouse.
((("someone" "is" "blue" "+")) -> ("someone" "needs" "mouse" "+"))
If someone is rough and young then they do not like the mouse.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "likes" "mouse" "-"))
If someone is green then they like the bald eagle.
((("someone" "is" "green" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone is blue and they need the mouse then they do not chase the tiger.
((("someone" "is" "blue" "+") ("someone" "needs" "mouse" "+")) -> ("someone" "chases" "tiger" "-"))
If someone likes the dog and they chase the bald eagle then the dog is green.
((("someone" "likes" "dog" "+") ("someone" "chases" "bald eagle" "+")) -> ("dog" "is" "green" "+"))
The dog chases the mouse.
True
1
proof
[(triple3)]
("dog" "chases" "mouse" "+")
triple3
The bald eagle does not like the tiger.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "tiger" "-")
triple2
The dog likes the bald eagle.
True
2
proof
[(((triple4) -> rule4))]
("dog" "likes" "bald eagle" "+")
((triple4) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog does not like the bald eagle.
False
2
inv-proof
[(((triple4) -> rule4))]
("dog" "likes" "bald eagle" "-")
((triple4) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1
The dog does not need the mouse.
Unknown
inv-rconc
[@1: The dog needs the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "mouse" "-")
The bald eagle likes the bald eagle.
Unknown
rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
@0: The bald eagle likes the mouse.[(triple1)] The bald eagle likes the tiger.[(triple2)] The dog chases the mouse.[(triple3)] The dog is green.[(triple4)] The mouse is not cold.[(triple5)] The mouse is rough.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse needs the bald eagle.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger needs the mouse.[(triple10)] @1: The dog likes the bald eagle.[(((triple4) -> rule4))]
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The mouse is not cold.
("mouse" "is" "cold" "-")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple7
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple8
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple9
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple10
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
((triple4) -> (rule4 % int1))
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
int1