The bald eagle is green. The bald eagle is nice. The bald eagle is round. The mouse eats the bald eagle. The mouse is big. The mouse is green. The mouse likes the bald eagle. The mouse likes the rabbit. The mouse sees the rabbit. The rabbit eats the bald eagle. The rabbit is cold. The rabbit likes the mouse. If someone likes the mouse then they eat the mouse. If someone eats the bald eagle then the bald eagle likes the rabbit. If someone likes the bald eagle then the bald eagle sees the mouse. If someone likes the bald eagle and they see the rabbit then they are nice. If someone eats the bald eagle then they are cold. If someone likes the mouse and the mouse is nice then the mouse likes the rabbit. If someone sees the mouse then they eat the bald eagle. If someone is nice then they see the rabbit.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If someone likes the mouse then they eat the mouse.
((("someone" "likes" "mouse" "+")) -> ("someone" "eats" "mouse" "+"))
If someone eats the bald eagle then the bald eagle likes the rabbit.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If someone likes the bald eagle then the bald eagle sees the mouse.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
If someone likes the bald eagle and they see the rabbit then they are nice.
((("someone" "likes" "bald eagle" "+") ("someone" "sees" "rabbit" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the bald eagle then they are cold.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "cold" "+"))
If someone likes the mouse and the mouse is nice then the mouse likes the rabbit.
((("someone" "likes" "mouse" "+") ("mouse" "is" "nice" "+")) -> ("mouse" "likes" "rabbit" "+"))
If someone sees the mouse then they eat the bald eagle.
((("someone" "sees" "mouse" "+")) -> ("someone" "eats" "bald eagle" "+"))
If someone is nice then they see the rabbit.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "rabbit" "+"))
The mouse is green.
True
1
proof
[(triple6)]
("mouse" "is" "green" "+")
triple6
The bald eagle is not green.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "green" "-")
triple1
The mouse is cold.
True
2
proof
[(((triple4) -> rule5))]
("mouse" "is" "cold" "+")
((triple4) -> (rule5 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The bald eagle does not like the rabbit.
False
2
inv-proof
[(((triple10) -> rule2) OR ((triple4) -> rule2) OR ((((((triple7) -> rule3)) -> rule7)) -> rule2))]
("bald eagle" "likes" "rabbit" "-")
((triple10) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
((triple4) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle eats the bald eagle.
True
3
proof
[(((((triple7) -> rule3)) -> rule7))]
("bald eagle" "eats" "bald eagle" "+")
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The bald eagle does not eat the bald eagle.
False
3
inv-proof
[(((((triple7) -> rule3)) -> rule7))]
("bald eagle" "eats" "bald eagle" "-")
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The bald eagle is cold.
True
4
proof
[(((((((triple7) -> rule3)) -> rule7)) -> rule5))]
("bald eagle" "is" "cold" "+")
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle is not cold.
False
4
inv-proof
[(((((((triple7) -> rule3)) -> rule7)) -> rule5))]
("bald eagle" "is" "cold" "-")
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle does not eat the mouse.
Unknown
inv-rconc
[@1: The bald eagle eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "mouse" "-")
The rabbit sees the rabbit.
Unknown
rconc
[@2: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("rabbit" "sees" "rabbit" "+")
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "nice" "-")
The mouse eats the mouse.
Unknown
rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "mouse" "+")
The bald eagle does not like the mouse.
Unknown
inv-random
[@0: The bald eagle likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "mouse" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
The mouse does not see the bald eagle.
Unknown
inv-random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is round.[(triple3)] The mouse eats the bald eagle.[(triple4)] The mouse is big.[(triple5)] The mouse is green.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse likes the rabbit.[(triple8 OR ((triple12 ((triple7 triple9) -> rule4)) -> rule6))] The mouse sees the rabbit.[(triple9)] The rabbit eats the bald eagle.[(triple10)] The rabbit is cold.[(triple11 OR ((triple10) -> rule5))] The rabbit likes the mouse.[(triple12)] @1: The bald eagle likes the rabbit.[(((triple10) -> rule2) OR ((triple4) -> rule2) OR ((((((triple7) -> rule3)) -> rule7)) -> rule2))] The bald eagle sees the mouse.[(((triple7) -> rule3))] The bald eagle sees the rabbit.[(((triple2) -> rule8))] The mouse is cold.[(((triple4) -> rule5))] The mouse is nice.[(((triple7 triple9) -> rule4))] The rabbit eats the mouse.[(((triple12) -> rule1))] @2: The bald eagle eats the bald eagle.[(((((triple7) -> rule3)) -> rule7))] @3: The bald eagle is cold.[(((((((triple7) -> rule3)) -> rule7)) -> rule5))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple4
The mouse is big.
("mouse" "is" "big" "+")
triple5
The mouse is green.
("mouse" "is" "green" "+")
triple6
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple7
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple8
((triple12 ((triple7 triple9) -> (rule4 % int2))) -> (rule6 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple9
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple11
((triple10) -> (rule5 % int1))
The rabbit is cold.
("rabbit" "is" "cold" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple12
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple10) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
((triple4) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
((triple7) -> (rule3 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
((triple2) -> (rule8 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
((triple4) -> (rule5 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
((triple7 triple9) -> (rule4 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
((triple12) -> (rule1 % int1))
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int3