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