The bald eagle is young. The dog needs the lion. The lion is big. The mouse is blue. If someone chases the dog and they need the lion then they visit the lion. If someone needs the mouse then the mouse is big. If someone visits the bald eagle and the bald eagle needs the lion then the lion chases the bald eagle. If the dog needs the mouse then the mouse is big. If someone visits the dog then they visit the bald eagle. If the mouse chases the lion then the mouse needs the dog. If someone is young then they visit the dog. If someone visits the dog and they are big then the dog is round.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
If someone chases the dog and they need the lion then they visit the lion.
((("someone" "chases" "dog" "+") ("someone" "needs" "lion" "+")) -> ("someone" "visits" "lion" "+"))
If someone needs the mouse then the mouse is big.
((("someone" "needs" "mouse" "+")) -> ("mouse" "is" "big" "+"))
If someone visits the bald eagle and the bald eagle needs the lion then the lion chases the bald eagle.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "needs" "lion" "+")) -> ("lion" "chases" "bald eagle" "+"))
If the dog needs the mouse then the mouse is big.
((("dog" "needs" "mouse" "+")) -> ("mouse" "is" "big" "+"))
If someone visits the dog then they visit the bald eagle.
((("someone" "visits" "dog" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the mouse chases the lion then the mouse needs the dog.
((("mouse" "chases" "lion" "+")) -> ("mouse" "needs" "dog" "+"))
If someone is young then they visit the dog.
((("someone" "is" "young" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the dog and they are big then the dog is round.
((("someone" "visits" "dog" "+") ("someone" "is" "big" "+")) -> ("dog" "is" "round" "+"))
The bald eagle is young.
True
1
proof
[(triple1)]
("bald eagle" "is" "young" "+")
triple1
The mouse is not blue.
False
1
inv-proof
[(triple4)]
("mouse" "is" "blue" "-")
triple4
The bald eagle visits the dog.
True
2
proof
[(((triple1) -> rule7))]
("bald eagle" "visits" "dog" "+")
((triple1) -> (rule7 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle does not visit the dog.
False
2
inv-proof
[(((triple1) -> rule7))]
("bald eagle" "visits" "dog" "-")
((triple1) -> (rule7 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle visits the bald eagle.
True
3
proof
[(((((triple1) -> rule7)) -> rule5))]
("bald eagle" "visits" "bald eagle" "+")
((((triple1) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The bald eagle does not visit the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule7)) -> rule5))]
("bald eagle" "visits" "bald eagle" "-")
((((triple1) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2
The lion does not visit the dog.
Unknown
inv-rconc
[@1: The lion visits the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "visits" "dog" "-")
The lion visits the lion.
Unknown
rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "visits" "lion" "+")
The mouse does not visit the dog.
Unknown
inv-rconc
[@1: The mouse visits the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "visits" "dog" "-")
The bald eagle visits the mouse.
Unknown
random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "+")
The mouse does not need the lion.
Unknown
inv-random
[@0: The mouse needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "lion" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bald eagle is young.[(triple1)] The dog needs the lion.[(triple2)] The lion is big.[(triple3)] The mouse is blue.[(triple4)] @1: The bald eagle visits the dog.[(((triple1) -> rule7))] @2: The bald eagle visits the bald eagle.[(((((triple1) -> rule7)) -> rule5))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The dog needs the lion.
("dog" "needs" "lion" "+")
triple2
The lion is big.
("lion" "is" "big" "+")
triple3
The mouse is blue.
("mouse" "is" "blue" "+")
triple4
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
((triple1) -> (rule7 % int1))
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple1) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
int2