The bald eagle is cold. The bald eagle is round. The bald eagle visits the cat. The bald eagle visits the mouse. The cat chases the bald eagle. The cat is big. The cat is round. The cat needs the mouse. The cat visits the bald eagle. The mouse needs the bald eagle. If the cat visits the bald eagle then the cat chases the mouse.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
If the cat visits the bald eagle then the cat chases the mouse.
((("cat" "visits" "bald eagle" "+")) -> ("cat" "chases" "mouse" "+"))
The bald eagle is round.
True
1
proof
[(triple2)]
("bald eagle" "is" "round" "+")
triple2
The cat does not need the mouse.
False
1
inv-proof
[(triple8)]
("cat" "needs" "mouse" "-")
triple8
The cat chases the mouse.
True
2
proof
[(((triple9) -> rule1))]
("cat" "chases" "mouse" "+")
((triple9) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat does not chase the mouse.
False
2
inv-proof
[(((triple9) -> rule1))]
("cat" "chases" "mouse" "-")
((triple9) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle visits the cat.[(triple3)] The bald eagle visits the mouse.[(triple4)] The cat chases the bald eagle.[(triple5)] The cat is big.[(triple6)] The cat is round.[(triple7)] The cat needs the mouse.[(triple8)] The cat visits the bald eagle.[(triple9)] The mouse needs the bald eagle.[(triple10)] @1: The cat chases the mouse.[(((triple9) -> rule1))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple4
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat is big.
("cat" "is" "big" "+")
triple6
The cat is round.
("cat" "is" "round" "+")
triple7
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple8
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple9
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple10
The cat chases the mouse.
("cat" "chases" "mouse" "+")
((triple9) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1