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