The bald eagle visits the cat. The bald eagle visits the mouse. The bald eagle does not visit the squirrel. The cat is blue. The cat is round. The cat likes the squirrel. The mouse is not blue. The mouse sees the cat. The mouse visits the bald eagle. The mouse visits the cat. The mouse visits the squirrel. The squirrel sees the bald eagle. If someone sees the bald eagle then they are round. If someone sees the squirrel and the squirrel visits the bald eagle then the squirrel does not see the cat. All round people are cold. If someone sees the cat then they visit the squirrel. If the cat visits the mouse then the mouse is blue. If someone sees the squirrel then the squirrel visits the mouse.
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
If someone sees the bald eagle then they are round.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
If someone sees the squirrel and the squirrel visits the bald eagle then the squirrel does not see the cat.
((("someone" "sees" "squirrel" "+") ("squirrel" "visits" "bald eagle" "+")) -> ("squirrel" "sees" "cat" "-"))
All round people are cold.
((("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone sees the cat then they visit the squirrel.
((("someone" "sees" "cat" "+")) -> ("someone" "visits" "squirrel" "+"))
If the cat visits the mouse then the mouse is blue.
((("cat" "visits" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If someone sees the squirrel then the squirrel visits the mouse.
((("someone" "sees" "squirrel" "+")) -> ("squirrel" "visits" "mouse" "+"))
The bald eagle does not visit the squirrel.
True
1
proof
[(triple3)]
("bald eagle" "visits" "squirrel" "-")
triple3
The cat is not blue.
False
1
inv-proof
[(triple4)]
("cat" "is" "blue" "-")
triple4
The squirrel is round.
True
2
proof
[(((triple12) -> rule1))]
("squirrel" "is" "round" "+")
((triple12) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The cat is not cold.
False
2
inv-proof
[(((triple5) -> rule3))]
("cat" "is" "cold" "-")
((triple5) -> (rule3 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The squirrel is cold.
True
3
proof
[(((((triple12) -> rule1)) -> rule3))]
("squirrel" "is" "cold" "+")
((((triple12) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The squirrel is not cold.
False
3
inv-proof
[(((((triple12) -> rule1)) -> rule3))]
("squirrel" "is" "cold" "-")
((((triple12) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "round" "-")
The cat visits the squirrel.
Unknown
rconc
[@1: The cat visits the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "visits" "squirrel" "+")
The bald eagle is not cold.
Unknown
inv-rconc
[@2: The bald eagle is cold.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The squirrel sees the cat.
Unknown
random
[@0: The squirrel sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "sees" "cat" "+")
The bald eagle does not see the cat.
Unknown
inv-random
[@0: The bald eagle sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cat" "-")
The mouse sees the squirrel.
Unknown
random
[@0: The mouse sees the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "squirrel" "+")
@0: The bald eagle does not visit the squirrel.[(triple3)] The bald eagle visits the cat.[(triple1)] The bald eagle visits the mouse.[(triple2)] The cat is blue.[(triple4)] The cat is round.[(triple5)] The cat likes the squirrel.[(triple6)] The mouse is not blue.[(triple7)] The mouse sees the cat.[(triple8)] The mouse visits the bald eagle.[(triple9)] The mouse visits the cat.[(triple10)] The mouse visits the squirrel.[(triple11 OR ((triple8) -> rule4))] The squirrel sees the bald eagle.[(triple12)] @1: The cat is cold.[(((triple5) -> rule3))] The squirrel is round.[(((triple12) -> rule1))] @2: The squirrel is cold.[(((((triple12) -> rule1)) -> rule3))]
The bald eagle does not visit the squirrel.
("bald eagle" "visits" "squirrel" "-")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple1
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat likes the squirrel.
("cat" "likes" "squirrel" "+")
triple6
The mouse is not blue.
("mouse" "is" "blue" "-")
triple7
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple8
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple9
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple10
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
triple11
((triple8) -> (rule4 % int1))
The mouse visits the squirrel.
("mouse" "visits" "squirrel" "+")
int1
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple12
The cat is cold.
("cat" "is" "cold" "+")
((triple5) -> (rule3 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
((triple12) -> (rule1 % int1))
The squirrel is round.
("squirrel" "is" "round" "+")
int1
The squirrel is cold.
("squirrel" "is" "cold" "+")
((((triple12) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel is cold.
("squirrel" "is" "cold" "+")
int1
The squirrel is round.
("squirrel" "is" "round" "+")
int2