The bald eagle sees the cat. The bald eagle sees the lion. The cat likes the mouse. The cat sees the bald eagle. The cat visits the lion. The lion visits the bald eagle. The mouse sees the lion. If someone visits the mouse then the mouse is not red. If someone likes the mouse then the mouse is big. If someone is kind then they like the cat. If someone sees the cat then they are kind. If someone is big and they do not like the cat then they see the mouse. If someone sees the mouse then they do not like the bald eagle.
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If someone visits the mouse then the mouse is not red.
((("someone" "visits" "mouse" "+")) -> ("mouse" "is" "red" "-"))
If someone likes the mouse then the mouse is big.
((("someone" "likes" "mouse" "+")) -> ("mouse" "is" "big" "+"))
If someone is kind then they like the cat.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "cat" "+"))
If someone sees the cat then they are kind.
((("someone" "sees" "cat" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and they do not like the cat then they see the mouse.
((("someone" "is" "big" "+") ("someone" "likes" "cat" "~")) -> ("someone" "sees" "mouse" "+"))
If someone sees the mouse then they do not like the bald eagle.
((("someone" "sees" "mouse" "+")) -> ("someone" "likes" "bald eagle" "-"))
The cat likes the mouse.
True
1
proof
[(triple3)]
("cat" "likes" "mouse" "+")
triple3
The bald eagle does not see the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "sees" "lion" "-")
triple2
The mouse is big.
True
2
proof
[(((triple3) -> rule2))]
("mouse" "is" "big" "+")
((triple3) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse is not big.
False
2
inv-proof
[(((triple3) -> rule2))]
("mouse" "is" "big" "-")
((triple3) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The bald eagle likes the cat.
True
3
proof
[(((((triple1) -> rule4)) -> rule3))]
("bald eagle" "likes" "cat" "+")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle does not like the cat.
False
3
inv-proof
[(((((triple1) -> rule4)) -> rule3))]
("bald eagle" "likes" "cat" "-")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The mouse does not see the mouse.
Unknown
inv-rconc
[@1: The mouse sees the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse is kind.
Unknown
rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "kind" "+")
The cat does not like the cat.
Unknown
inv-rconc
[@2: The cat likes the cat.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("cat" "likes" "cat" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
The mouse does not visit the lion.
Unknown
inv-random
[@0: The mouse visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "lion" "-")
The cat sees the lion.
Unknown
random
[@0: The cat sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "lion" "+")
@0: The bald eagle sees the cat.[(triple1)] The bald eagle sees the lion.[(triple2)] The cat likes the mouse.[(triple3)] The cat sees the bald eagle.[(triple4)] The cat visits the lion.[(triple5)] The lion visits the bald eagle.[(triple6)] The mouse sees the lion.[(triple7)] @1: The bald eagle is kind.[(((triple1) -> rule4))] The mouse is big.[(((triple3) -> rule2))] @2: The bald eagle likes the cat.[(((((triple1) -> rule4)) -> rule3))]
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple1
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple2
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple3
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple4
The cat visits the lion.
("cat" "visits" "lion" "+")
triple5
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple6
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple7
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((triple1) -> (rule4 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
((triple3) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2