The bald eagle eats the cow. The bald eagle eats the mouse. The bald eagle sees the mouse. The bald eagle visits the mouse. The cow is cold. The cow is rough. The cow is round. The cow sees the mouse. The mouse eats the cow. The mouse is cold. The mouse visits the bald eagle. The mouse visits the cow. If someone visits the cow then they are rough. If the mouse is rough and the mouse is round then the mouse eats the bald eagle. If someone is rough then they are round.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow is round.
("cow" "is" "round" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
If someone visits the cow then they are rough.
((("someone" "visits" "cow" "+")) -> ("someone" "is" "rough" "+"))
If the mouse is rough and the mouse is round then the mouse eats the bald eagle.
((("mouse" "is" "rough" "+") ("mouse" "is" "round" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
The cow sees the mouse.
True
1
proof
[(triple8)]
("cow" "sees" "mouse" "+")
triple8
The bald eagle does not eat the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "cow" "-")
triple1
The mouse is rough.
True
2
proof
[(((triple12) -> rule1))]
("mouse" "is" "rough" "+")
((triple12) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is not rough.
False
2
inv-proof
[(((triple12) -> rule1))]
("mouse" "is" "rough" "-")
((triple12) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is round.
True
3
proof
[(((((triple12) -> rule1)) -> rule3))]
("mouse" "is" "round" "+")
((((triple12) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is not round.
False
3
inv-proof
[(((((triple12) -> rule1)) -> rule3))]
("mouse" "is" "round" "-")
((((triple12) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse eats the bald eagle.
True
6
proof
[(((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule3)) -> rule2))]
("mouse" "eats" "bald eagle" "+")
((((triple12) -> (rule1 % int3)) ((((triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The mouse does not eat the bald eagle.
False
6
inv-proof
[(((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule3)) -> rule2))]
("mouse" "eats" "bald eagle" "-")
((((triple12) -> (rule1 % int3)) ((((triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle is round.
Unknown
rconc
[@2: The bald eagle is round.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("bald eagle" "is" "round" "+")
The cow does not eat the mouse.
Unknown
inv-random
[@0: The cow eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "mouse" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
The mouse is not young.
Unknown
inv-random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The cow does not see the bald eagle.
Unknown
inv-random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "-")
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 eats the cow.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle sees the mouse.[(triple3)] The bald eagle visits the mouse.[(triple4)] The cow is cold.[(triple5)] The cow is rough.[(triple6)] The cow is round.[(triple7 OR ((triple6) -> rule3))] The cow sees the mouse.[(triple8)] The mouse eats the cow.[(triple9)] The mouse is cold.[(triple10)] The mouse visits the bald eagle.[(triple11)] The mouse visits the cow.[(triple12)] @1: The mouse is rough.[(((triple12) -> rule1))] @2: The mouse is round.[(((((triple12) -> rule1)) -> rule3))] @3: The mouse eats the bald eagle.[(((((triple12) -> rule1) ((((triple12) -> rule1)) -> rule3)) -> rule2))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple4
The cow is cold.
("cow" "is" "cold" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow is round.
("cow" "is" "round" "+")
triple7
((triple6) -> (rule3 % int1))
The cow is round.
("cow" "is" "round" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple8
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple9
The mouse is cold.
("mouse" "is" "cold" "+")
triple10
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple11
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple12
The mouse is rough.
("mouse" "is" "rough" "+")
((triple12) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
((((triple12) -> (rule1 % int2))) -> (rule3 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((((triple12) -> (rule1 % int3)) ((((triple12) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3