The bald eagle chases the mouse. The bald eagle chases the squirrel. The cat chases the mouse. The cat is big. The cat is cold. The cat likes the mouse. The cat sees the mouse. The mouse is nice. The mouse likes the cat. The squirrel chases the mouse. The squirrel is blue. The squirrel is nice. If something is nice then it likes the cat. If the cat chases the mouse and the cat is big then the cat chases the bald eagle. If something is big and it likes the bald eagle then the bald eagle chases the cat.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If something is nice then it likes the cat.
((("something" "is" "nice" "+")) -> ("something" "likes" "cat" "+"))
If the cat chases the mouse and the cat is big then the cat chases the bald eagle.
((("cat" "chases" "mouse" "+") ("cat" "is" "big" "+")) -> ("cat" "chases" "bald eagle" "+"))
If something is big and it likes the bald eagle then the bald eagle chases the cat.
((("something" "is" "big" "+") ("something" "likes" "bald eagle" "+")) -> ("bald eagle" "chases" "cat" "+"))
The mouse is nice.
True
1
proof
[(triple8)]
("mouse" "is" "nice" "+")
triple8
The cat does not like the mouse.
False
1
inv-proof
[(triple6)]
("cat" "likes" "mouse" "-")
triple6
The squirrel likes the cat.
True
2
proof
[(((triple12) -> rule1))]
("squirrel" "likes" "cat" "+")
((triple12) -> (rule1 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The squirrel does not like the cat.
False
2
inv-proof
[(((triple12) -> rule1))]
("squirrel" "likes" "cat" "-")
((triple12) -> (rule1 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1
The bald eagle does not like the cat.
Unknown
inv-rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "cat" "-")
The cat likes the cat.
Unknown
rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "cat" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The cat likes the squirrel.
Unknown
random
[@0: The cat likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "squirrel" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle chases the squirrel.[(triple2)] The cat chases the mouse.[(triple3)] The cat is big.[(triple4)] The cat is cold.[(triple5)] The cat likes the mouse.[(triple6)] The cat sees the mouse.[(triple7)] The mouse is nice.[(triple8)] The mouse likes the cat.[(triple9 OR ((triple8) -> rule1))] The squirrel chases the mouse.[(triple10)] The squirrel is blue.[(triple11)] The squirrel is nice.[(triple12)] @1: The cat chases the bald eagle.[(((triple3 triple4) -> rule2))] The squirrel likes the cat.[(((triple12) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle chases the squirrel.
("bald eagle" "chases" "squirrel" "+")
triple2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple3
The cat is big.
("cat" "is" "big" "+")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple5
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple6
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple9
((triple8) -> (rule1 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The squirrel chases the mouse.
("squirrel" "chases" "mouse" "+")
triple10
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple11
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple12
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
((triple3 triple4) -> (rule2 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
((triple12) -> (rule1 % int1))
The squirrel likes the cat.
("squirrel" "likes" "cat" "+")
int1