The bald eagle chases the mouse. The bald eagle eats the mouse. The bald eagle is cold. The bald eagle is nice. The bald eagle is rough. The bald eagle is round. The bald eagle sees the mouse. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse is blue. The mouse is nice. The mouse sees the bald eagle. Rough, cold things are blue. If the mouse chases the bald eagle then the mouse sees the bald eagle. If something is blue and it eats the bald eagle then it sees the bald eagle. If something eats the mouse then the mouse sees the bald eagle. If something is blue then it is rough. If something is cold then it sees the bald eagle.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
Rough, cold things are blue.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If the mouse chases the bald eagle then the mouse sees the bald eagle.
((("mouse" "chases" "bald eagle" "+")) -> ("mouse" "sees" "bald eagle" "+"))
If something is blue and it eats the bald eagle then it sees the bald eagle.
((("something" "is" "blue" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "sees" "bald eagle" "+"))
If something eats the mouse then the mouse sees the bald eagle.
((("something" "eats" "mouse" "+")) -> ("mouse" "sees" "bald eagle" "+"))
If something is blue then it is rough.
((("something" "is" "blue" "+")) -> ("something" "is" "rough" "+"))
If something is cold then it sees the bald eagle.
((("something" "is" "cold" "+")) -> ("something" "sees" "bald eagle" "+"))
The bald eagle chases the mouse.
True
1
proof
[(triple1)]
("bald eagle" "chases" "mouse" "+")
triple1
The mouse does not eat the bald eagle.
False
1
inv-proof
[(triple9)]
("mouse" "eats" "bald eagle" "-")
triple9
The mouse is not cold.
Unknown
inv-random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle is round.[(triple6)] The bald eagle sees the mouse.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse is blue.[(triple10)] The mouse is nice.[(triple11)] The mouse sees the bald eagle.[(triple12 OR ((triple2) -> rule4) OR ((triple8) -> rule2) OR ((triple10 triple9) -> rule3))] @1: The bald eagle is blue.[(((triple5 triple3) -> rule1))] The bald eagle sees the bald eagle.[(((triple3) -> rule6))] The mouse is rough.[(((triple10) -> rule5))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple6
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple7
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple8
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple9
The mouse is blue.
("mouse" "is" "blue" "+")
triple10
The mouse is nice.
("mouse" "is" "nice" "+")
triple11
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple12
((triple2) -> (rule4 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
((triple8) -> (rule2 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
((triple10 triple9) -> (rule3 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple5 triple3) -> (rule1 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((triple3) -> (rule6 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
((triple10) -> (rule5 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1