The bear eats the dog. The bear is not round. The bear sees the dog. The bear sees the tiger. The dog likes the tiger. The mouse is not nice. The mouse is round. The mouse does not see the tiger. The tiger eats the bear. The tiger does not eat the mouse. The tiger sees the bear. If someone eats the mouse then they like the bear. If someone likes the tiger then they like the bear. If someone is nice and they like the mouse then they see the tiger. If someone likes the tiger and the tiger eats the dog then the dog likes the mouse. If someone likes the tiger then they eat the mouse. If someone eats the mouse and they eat the bear then the mouse likes the tiger. If someone likes the tiger then the tiger sees the mouse. If someone likes the mouse then they like the tiger. If someone likes the bear then they eat the bear.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear sees the dog.
("bear" "sees" "dog" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The mouse is not nice.
("mouse" "is" "nice" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not see the tiger.
("mouse" "sees" "tiger" "-")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
If someone eats the mouse then they like the bear.
((("someone" "eats" "mouse" "+")) -> ("someone" "likes" "bear" "+"))
If someone likes the tiger then they like the bear.
((("someone" "likes" "tiger" "+")) -> ("someone" "likes" "bear" "+"))
If someone is nice and they like the mouse then they see the tiger.
((("someone" "is" "nice" "+") ("someone" "likes" "mouse" "+")) -> ("someone" "sees" "tiger" "+"))
If someone likes the tiger and the tiger eats the dog then the dog likes the mouse.
((("someone" "likes" "tiger" "+") ("tiger" "eats" "dog" "+")) -> ("dog" "likes" "mouse" "+"))
If someone likes the tiger then they eat the mouse.
((("someone" "likes" "tiger" "+")) -> ("someone" "eats" "mouse" "+"))
If someone eats the mouse and they eat the bear then the mouse likes the tiger.
((("someone" "eats" "mouse" "+") ("someone" "eats" "bear" "+")) -> ("mouse" "likes" "tiger" "+"))
If someone likes the tiger then the tiger sees the mouse.
((("someone" "likes" "tiger" "+")) -> ("tiger" "sees" "mouse" "+"))
If someone likes the mouse then they like the tiger.
((("someone" "likes" "mouse" "+")) -> ("someone" "likes" "tiger" "+"))
If someone likes the bear then they eat the bear.
((("someone" "likes" "bear" "+")) -> ("someone" "eats" "bear" "+"))
The mouse does not see the tiger.
True
1
proof
[(triple8)]
("mouse" "sees" "tiger" "-")
triple8
The bear does not see the dog.
False
1
inv-proof
[(triple3)]
("bear" "sees" "dog" "-")
triple3
The tiger sees the mouse.
True
2
proof
[(((triple5) -> rule7) OR ((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule7) OR ((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule7))]
("tiger" "sees" "mouse" "+")
((triple5) -> (rule7 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int5
((((((triple5) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int5
The dog does not like the bear.
False
2
inv-proof
[(((triple5) -> rule2) OR ((((triple5) -> rule5)) -> rule1))]
("dog" "likes" "bear" "-")
((triple5) -> (rule2 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The dog eats the bear.
True
3
proof
[(((((triple5) -> rule2)) -> rule9) OR ((((((triple5) -> rule5)) -> rule1)) -> rule9))]
("dog" "eats" "bear" "+")
((((triple5) -> (rule2 % int2))) -> (rule9 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int3
The dog does not eat the bear.
False
3
inv-proof
[(((((triple5) -> rule2)) -> rule9) OR ((((((triple5) -> rule5)) -> rule1)) -> rule9))]
("dog" "eats" "bear" "-")
((((triple5) -> (rule2 % int2))) -> (rule9 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int3
The mouse likes the tiger.
True
6
proof
[(((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6) OR ((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6))]
("mouse" "likes" "tiger" "+")
((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int4
((((triple5) -> (rule5 % int4)) ((((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int4
The mouse does not like the tiger.
False
6
inv-proof
[(((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6) OR ((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6))]
("mouse" "likes" "tiger" "-")
((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int4
((((triple5) -> (rule5 % int4)) ((((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int4
The mouse eats the mouse.
True
7
proof
[(((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule5) OR ((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule5))]
("mouse" "eats" "mouse" "+")
((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int5
((((((triple5) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int5
The mouse does not like the bear.
False
7
inv-proof
[(((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule5)) -> rule1) OR ((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule5)) -> rule1))]
("mouse" "likes" "bear" "-")
((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int5
((((((((triple5) -> (rule5 % int6)) ((((triple5) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int6
((((((triple5) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int5
((((((((triple5) -> (rule5 % int6)) ((((((triple5) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int6
The mouse eats the bear.
True
8
proof
[(((((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule2)) -> rule9) OR ((((((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule5)) -> rule1)) -> rule9) OR ((((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule2)) -> rule9) OR ((((((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule5)) -> rule1)) -> rule9))]
("mouse" "eats" "bear" "+")
((((((((triple5) -> (rule5 % int6)) ((((triple5) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int6
((((((((((triple5) -> (rule5 % int7)) ((((triple5) -> (rule2 % int6))) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int4
The dog eats the bear.
("dog" "eats" "bear" "+")
int5
The dog likes the bear.
("dog" "likes" "bear" "+")
int6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int7
((((((((triple5) -> (rule5 % int6)) ((((((triple5) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int6
((((((((((triple5) -> (rule5 % int7)) ((((((triple5) -> (rule5 % int7))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int4
The dog eats the bear.
("dog" "eats" "bear" "+")
int5
The dog likes the bear.
("dog" "likes" "bear" "+")
int6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int7
The mouse does not eat the bear.
False
8
inv-proof
[(((((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule2)) -> rule9) OR ((((((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule5)) -> rule1)) -> rule9) OR ((((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule2)) -> rule9) OR ((((((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule5)) -> rule1)) -> rule9))]
("mouse" "eats" "bear" "-")
((((((((triple5) -> (rule5 % int6)) ((((triple5) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int6
((((((((((triple5) -> (rule5 % int7)) ((((triple5) -> (rule2 % int6))) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int4
The dog eats the bear.
("dog" "eats" "bear" "+")
int5
The dog likes the bear.
("dog" "likes" "bear" "+")
int6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int7
((((((((triple5) -> (rule5 % int6)) ((((((triple5) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int6
((((((((((triple5) -> (rule5 % int7)) ((((((triple5) -> (rule5 % int7))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int4
The dog eats the bear.
("dog" "eats" "bear" "+")
int5
The dog likes the bear.
("dog" "likes" "bear" "+")
int6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int7
The bear does not like the tiger.
Unknown
inv-rconc
[@1: The bear likes the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "likes" "tiger" "-")
The tiger likes the tiger.
Unknown
rconc
[@1: The tiger likes the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "likes" "tiger" "+")
The dog does not like the mouse.
Unknown
inv-rconc
[@1: The dog likes the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "likes" "mouse" "-")
The bear eats the bear.
Unknown
rconc
[@4: The bear eats the bear.[CWA. Example of deepest failure = (rule9 <- rule1 <- rule5 <- rule8 <- FAIL)]]
("bear" "eats" "bear" "+")
The bear does not like the bear.
Unknown
inv-rconc
[@3: The bear likes the bear.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule8 <- FAIL)]]
("bear" "likes" "bear" "-")
The bear eats the mouse.
Unknown
rconc
[@2: The bear eats the mouse.[CWA. Example of deepest failure = (rule5 <- rule8 <- FAIL)]]
("bear" "eats" "mouse" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
The tiger does not like the mouse.
Unknown
inv-random
[@0: The tiger likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "mouse" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The bear does not like the dog.
Unknown
inv-random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The bear eats the dog.[(triple1)] The bear is not round.[(triple2)] The bear sees the dog.[(triple3)] The bear sees the tiger.[(triple4)] The dog likes the tiger.[(triple5)] The mouse does not see the tiger.[(triple8)] The mouse is not nice.[(triple6)] The mouse is round.[(triple7)] The tiger does not eat the mouse.[(triple10)] The tiger eats the bear.[(triple9)] The tiger sees the bear.[(triple11)] @1: The dog eats the mouse.[(((triple5) -> rule5))] The dog likes the bear.[(((triple5) -> rule2) OR ((((triple5) -> rule5)) -> rule1))] The tiger sees the mouse.[(((triple5) -> rule7) OR ((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule7) OR ((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule7))] @2: The dog eats the bear.[(((((triple5) -> rule2)) -> rule9) OR ((((((triple5) -> rule5)) -> rule1)) -> rule9))] @3: The mouse likes the tiger.[(((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6) OR ((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6))] @4: The mouse eats the mouse.[(((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule5) OR ((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule5))] The mouse likes the bear.[(((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule5)) -> rule1) OR ((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule2) OR ((((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule5)) -> rule1))] @5: The mouse eats the bear.[(((((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule2)) -> rule9) OR ((((((((((triple5) -> rule5) ((((triple5) -> rule2)) -> rule9)) -> rule6)) -> rule5)) -> rule1)) -> rule9) OR ((((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule2)) -> rule9) OR ((((((((((triple5) -> rule5) ((((((triple5) -> rule5)) -> rule1)) -> rule9)) -> rule6)) -> rule5)) -> rule1)) -> rule9))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is not round.
("bear" "is" "round" "-")
triple2
The bear sees the dog.
("bear" "sees" "dog" "+")
triple3
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple4
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple5
The mouse does not see the tiger.
("mouse" "sees" "tiger" "-")
triple8
The mouse is not nice.
("mouse" "is" "nice" "-")
triple6
The mouse is round.
("mouse" "is" "round" "+")
triple7
The tiger does not eat the mouse.
("tiger" "eats" "mouse" "-")
triple10
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple9
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple11
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((triple5) -> (rule5 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
((triple5) -> (rule2 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule1 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
((triple5) -> (rule7 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int5
((((((triple5) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule7 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int5
The dog eats the bear.
("dog" "eats" "bear" "+")
((((triple5) -> (rule2 % int2))) -> (rule9 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
((((((triple5) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The dog eats the bear.
("dog" "eats" "bear" "+")
int1
The dog likes the bear.
("dog" "likes" "bear" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int3
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule2 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int4
((((triple5) -> (rule5 % int4)) ((((((triple5) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule9 % int2))) -> (rule6 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The dog eats the bear.
("dog" "eats" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int4
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int5
((((((triple5) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int5
The mouse likes the bear.
("mouse" "likes" "bear" "+")
((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule2 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int5
((((((((triple5) -> (rule5 % int6)) ((((triple5) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int6
((((((triple5) -> (rule5 % int5)) ((((((triple5) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule9 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The dog eats the bear.
("dog" "eats" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int5
((((((((triple5) -> (rule5 % int6)) ((((((triple5) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int6
The mouse eats the bear.
("mouse" "eats" "bear" "+")
((((((((triple5) -> (rule5 % int6)) ((((triple5) -> (rule2 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int6
((((((((((triple5) -> (rule5 % int7)) ((((triple5) -> (rule2 % int6))) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int4
The dog eats the bear.
("dog" "eats" "bear" "+")
int5
The dog likes the bear.
("dog" "likes" "bear" "+")
int6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int7
((((((((triple5) -> (rule5 % int6)) ((((((triple5) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule9 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int3
The dog eats the bear.
("dog" "eats" "bear" "+")
int4
The dog likes the bear.
("dog" "likes" "bear" "+")
int5
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int6
((((((((((triple5) -> (rule5 % int7)) ((((((triple5) -> (rule5 % int7))) -> (rule1 % int6))) -> (rule9 % int5))) -> (rule6 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
The mouse eats the bear.
("mouse" "eats" "bear" "+")
int1
The mouse likes the bear.
("mouse" "likes" "bear" "+")
int2
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int3
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int4
The dog eats the bear.
("dog" "eats" "bear" "+")
int5
The dog likes the bear.
("dog" "likes" "bear" "+")
int6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int7