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