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