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