The bald eagle is red. The bald eagle is young. The cat chases the mouse. The cat is big. The mouse is big. The mouse is red. The mouse is young. If something chases the mouse then it is green. If something chases the bald eagle then it is big. If something sees the cat and it sees the bald eagle then it is red. If the mouse is green then the mouse is young. If something is green then it sees the cat. If something sees the cat then it sees the mouse.
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is big.
("cat" "is" "big" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
If something chases the mouse then it is green.
((("something" "chases" "mouse" "+")) -> ("something" "is" "green" "+"))
If something chases the bald eagle then it is big.
((("something" "chases" "bald eagle" "+")) -> ("something" "is" "big" "+"))
If something sees the cat and it sees the bald eagle then it is red.
((("something" "sees" "cat" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "is" "red" "+"))
If the mouse is green then the mouse is young.
((("mouse" "is" "green" "+")) -> ("mouse" "is" "young" "+"))
If something is green then it sees the cat.
((("something" "is" "green" "+")) -> ("something" "sees" "cat" "+"))
If something sees the cat then it sees the mouse.
((("something" "sees" "cat" "+")) -> ("something" "sees" "mouse" "+"))
The bald eagle is young.
True
1
proof
[(triple2)]
("bald eagle" "is" "young" "+")
triple2
The cat does not chase the mouse.
False
1
inv-proof
[(triple3)]
("cat" "chases" "mouse" "-")
triple3
The mouse does not see the mouse.
Unknown
inv-rconc
[@3: The mouse sees the mouse.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule1 <- FAIL)]]
("mouse" "sees" "mouse" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
@0: The bald eagle is red.[(triple1)] The bald eagle is young.[(triple2)] The cat chases the mouse.[(triple3)] The cat is big.[(triple4)] The mouse is big.[(triple5)] The mouse is red.[(triple6)] The mouse is young.[(triple7)] @1: The cat is green.[(((triple3) -> rule1))] @2: The cat sees the cat.[(((((triple3) -> rule1)) -> rule5))] @3: The cat sees the mouse.[(((((((triple3) -> rule1)) -> rule5)) -> rule6))]
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple3
The cat is big.
("cat" "is" "big" "+")
triple4
The mouse is big.
("mouse" "is" "big" "+")
triple5
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
The cat is green.
("cat" "is" "green" "+")
((triple3) -> (rule1 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
((((triple3) -> (rule1 % int2))) -> (rule5 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat sees the mouse.
("cat" "sees" "mouse" "+")
((((((triple3) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat sees the mouse.
("cat" "sees" "mouse" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3