The mouse chases the tiger. The mouse is big. The mouse is cold. The mouse is red. The mouse is rough. The mouse is round. The mouse likes the tiger. The mouse visits the tiger. The tiger chases the mouse. The tiger is big. The tiger is cold. The tiger is red. The tiger is rough. The tiger likes the mouse. The tiger visits the mouse. If the mouse visits the tiger and the mouse chases the tiger then the mouse is cold. If someone likes the tiger and they visit the tiger then they are round. If someone chases the mouse and the mouse visits the tiger then they chase the tiger. If someone visits the mouse and the mouse visits the tiger then they like the tiger. If someone chases the tiger and the tiger chases the mouse then they visit the tiger. If someone chases the tiger and they visit the tiger then the tiger likes the mouse. If someone is cold and they chase the mouse then they visit the mouse. If someone chases the tiger and they are red then the tiger visits the mouse.
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
If the mouse visits the tiger and the mouse chases the tiger then the mouse is cold.
((("mouse" "visits" "tiger" "+") ("mouse" "chases" "tiger" "+")) -> ("mouse" "is" "cold" "+"))
If someone likes the tiger and they visit the tiger then they are round.
((("someone" "likes" "tiger" "+") ("someone" "visits" "tiger" "+")) -> ("someone" "is" "round" "+"))
If someone chases the mouse and the mouse visits the tiger then they chase the tiger.
((("someone" "chases" "mouse" "+") ("mouse" "visits" "tiger" "+")) -> ("someone" "chases" "tiger" "+"))
If someone visits the mouse and the mouse visits the tiger then they like the tiger.
((("someone" "visits" "mouse" "+") ("mouse" "visits" "tiger" "+")) -> ("someone" "likes" "tiger" "+"))
If someone chases the tiger and the tiger chases the mouse then they visit the tiger.
((("someone" "chases" "tiger" "+") ("tiger" "chases" "mouse" "+")) -> ("someone" "visits" "tiger" "+"))
If someone chases the tiger and they visit the tiger then the tiger likes the mouse.
((("someone" "chases" "tiger" "+") ("someone" "visits" "tiger" "+")) -> ("tiger" "likes" "mouse" "+"))
If someone is cold and they chase the mouse then they visit the mouse.
((("someone" "is" "cold" "+") ("someone" "chases" "mouse" "+")) -> ("someone" "visits" "mouse" "+"))
If someone chases the tiger and they are red then the tiger visits the mouse.
((("someone" "chases" "tiger" "+") ("someone" "is" "red" "+")) -> ("tiger" "visits" "mouse" "+"))
The tiger visits the mouse.
True
1
proof
[(triple15 OR ((triple1 triple4) -> rule8) OR ((triple11 triple9) -> rule7) OR ((((triple9 triple8) -> rule3) triple12) -> rule8) OR ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8))]
("tiger" "visits" "mouse" "+")
triple15
((triple1 triple4) -> (rule8 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
((triple11 triple9) -> (rule7 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
((((triple9 triple8) -> (rule3 % int2)) triple12) -> (rule8 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
((((triple9 ((triple1 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple12) -> (rule8 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int3
The mouse does not chase the tiger.
False
1
inv-proof
[(triple1)]
("mouse" "chases" "tiger" "-")
triple1
The tiger chases the tiger.
True
3
proof
[(((triple9 triple8) -> rule3) OR ((triple9 ((triple1 triple9) -> rule5)) -> rule3))]
("tiger" "chases" "tiger" "+")
((triple9 triple8) -> (rule3 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
((triple9 ((triple1 triple9) -> (rule5 % int2))) -> (rule3 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The tiger does not like the tiger.
False
3
inv-proof
[(((triple15 triple8) -> rule4) OR ((triple15 ((triple1 triple9) -> rule5)) -> rule4) OR ((((triple1 triple4) -> rule8) triple8) -> rule4) OR ((((triple11 triple9) -> rule7) triple8) -> rule4) OR ((((triple1 triple4) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) OR ((((triple11 triple9) -> rule7) ((triple1 triple9) -> rule5)) -> rule4) OR ((((((triple9 triple8) -> rule3) triple12) -> rule8) triple8) -> rule4) OR ((((((triple9 triple8) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) OR ((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) triple8) -> rule4) OR ((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4))]
("tiger" "likes" "tiger" "-")
((triple15 triple8) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
((triple15 ((triple1 triple9) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
((((triple1 triple4) -> (rule8 % int2)) triple8) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
((((triple11 triple9) -> (rule7 % int2)) triple8) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
((((triple1 triple4) -> (rule8 % int3)) ((triple1 triple9) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
((((triple11 triple9) -> (rule7 % int3)) ((triple1 triple9) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
((((((triple9 triple8) -> (rule3 % int3)) triple12) -> (rule8 % int2)) triple8) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
((((((triple9 triple8) -> (rule3 % int4)) triple12) -> (rule8 % int3)) ((triple1 triple9) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
((((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule8 % int2)) triple8) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
((((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule8 % int2)) ((triple1 triple9) -> (rule5 % int4))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger visits the tiger.
True
5
proof
[(((((triple9 triple8) -> rule3) triple9) -> rule5) OR ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5))]
("tiger" "visits" "tiger" "+")
((((triple9 triple8) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
((((triple9 ((triple1 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int3
The tiger does not visit the tiger.
False
5
inv-proof
[(((((triple9 triple8) -> rule3) triple9) -> rule5) OR ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5))]
("tiger" "visits" "tiger" "-")
((((triple9 triple8) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
((((triple9 ((triple1 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int3
The tiger is round.
True
9
proof
[(((((triple15 triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((triple15 ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((triple15 triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((triple15 ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2))]
("tiger" "is" "round" "+")
((((triple15 triple8) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
((((triple15 ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
((((((triple1 triple4) -> (rule8 % int5)) triple8) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
((((((triple11 triple9) -> (rule7 % int5)) triple8) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
((((((triple1 triple4) -> (rule8 % int6)) ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((triple11 triple9) -> (rule7 % int6)) ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((triple15 triple8) -> (rule4 % int5)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int5
((((triple15 ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int5))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
((((((triple1 triple4) -> (rule8 % int6)) triple8) -> (rule4 % int5)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((triple11 triple9) -> (rule7 % int6)) triple8) -> (rule4 % int5)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((((triple9 triple8) -> (rule3 % int5)) triple12) -> (rule8 % int4)) triple8) -> (rule4 % int3)) ((((triple9 triple8) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
((((((triple1 triple4) -> (rule8 % int6)) ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int5))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((triple11 triple9) -> (rule7 % int6)) ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int5))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((((triple9 triple8) -> (rule3 % int6)) triple12) -> (rule8 % int5)) triple8) -> (rule4 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int3))) -> (rule3 % int6)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int6
((((((((triple9 triple8) -> (rule3 % int6)) triple12) -> (rule8 % int5)) ((triple1 triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple9 triple8) -> (rule3 % int6)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int6
((((((((triple9 triple8) -> (rule3 % int6)) triple12) -> (rule8 % int5)) ((triple1 triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int6)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int6
((((((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple12) -> (rule8 % int4)) triple8) -> (rule4 % int3)) ((((triple9 triple8) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int6
((((((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple12) -> (rule8 % int4)) triple8) -> (rule4 % int3)) ((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int6
((((((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple12) -> (rule8 % int4)) ((triple1 triple9) -> (rule5 % int6))) -> (rule4 % int3)) ((((triple9 triple8) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int6
((((((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple12) -> (rule8 % int4)) ((triple1 triple9) -> (rule5 % int6))) -> (rule4 % int3)) ((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int6
The tiger is not round.
False
9
inv-proof
[(((((triple15 triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((triple15 ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((triple15 triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((triple15 ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2))]
("tiger" "is" "round" "-")
((((triple15 triple8) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
((((triple15 ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
((((((triple1 triple4) -> (rule8 % int5)) triple8) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
((((((triple11 triple9) -> (rule7 % int5)) triple8) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
((((((triple1 triple4) -> (rule8 % int6)) ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((triple11 triple9) -> (rule7 % int6)) ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((triple15 triple8) -> (rule4 % int5)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int5
((((triple15 ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int5))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
((((((triple1 triple4) -> (rule8 % int6)) triple8) -> (rule4 % int5)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((triple11 triple9) -> (rule7 % int6)) triple8) -> (rule4 % int5)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((((triple9 triple8) -> (rule3 % int5)) triple12) -> (rule8 % int4)) triple8) -> (rule4 % int3)) ((((triple9 triple8) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
((((((triple1 triple4) -> (rule8 % int6)) ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int5))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((triple11 triple9) -> (rule7 % int6)) ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int5))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((((triple9 triple8) -> (rule3 % int6)) triple12) -> (rule8 % int5)) triple8) -> (rule4 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int3))) -> (rule3 % int6)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int6
((((((((triple9 triple8) -> (rule3 % int6)) triple12) -> (rule8 % int5)) ((triple1 triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple9 triple8) -> (rule3 % int6)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int6
((((((((triple9 triple8) -> (rule3 % int6)) triple12) -> (rule8 % int5)) ((triple1 triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int6)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int6
((((((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple12) -> (rule8 % int4)) triple8) -> (rule4 % int3)) ((((triple9 triple8) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int6
((((((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple12) -> (rule8 % int4)) triple8) -> (rule4 % int3)) ((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int6
((((((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple12) -> (rule8 % int4)) ((triple1 triple9) -> (rule5 % int6))) -> (rule4 % int3)) ((((triple9 triple8) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int6
((((((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple12) -> (rule8 % int4)) ((triple1 triple9) -> (rule5 % int6))) -> (rule4 % int3)) ((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int6
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The mouse chases the tiger.[(triple1)] The mouse is big.[(triple2)] The mouse is cold.[(triple3 OR ((triple8 triple1) -> rule1) OR ((((triple1 triple9) -> rule5) triple1) -> rule1))] The mouse is red.[(triple4)] The mouse is rough.[(triple5)] The mouse is round.[(triple6 OR ((triple7 triple8) -> rule2) OR ((triple7 ((triple1 triple9) -> rule5)) -> rule2))] The mouse likes the tiger.[(triple7)] The mouse visits the tiger.[(triple8 OR ((triple1 triple9) -> rule5))] The tiger chases the mouse.[(triple9)] The tiger is big.[(triple10)] The tiger is cold.[(triple11)] The tiger is red.[(triple12)] The tiger is rough.[(triple13)] The tiger likes the mouse.[(triple14 OR ((triple1 triple8) -> rule6) OR ((triple1 ((triple1 triple9) -> rule5)) -> rule6) OR ((((triple9 triple8) -> rule3) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule6) OR ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule6) OR ((((triple9 triple8) -> rule3) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule6) OR ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule6))] The tiger visits the mouse.[(triple15 OR ((triple1 triple4) -> rule8) OR ((triple11 triple9) -> rule7) OR ((((triple9 triple8) -> rule3) triple12) -> rule8) OR ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8))] @1: The tiger chases the tiger.[(((triple9 triple8) -> rule3) OR ((triple9 ((triple1 triple9) -> rule5)) -> rule3))] The tiger likes the tiger.[(((triple15 triple8) -> rule4) OR ((triple15 ((triple1 triple9) -> rule5)) -> rule4) OR ((((triple1 triple4) -> rule8) triple8) -> rule4) OR ((((triple11 triple9) -> rule7) triple8) -> rule4) OR ((((triple1 triple4) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) OR ((((triple11 triple9) -> rule7) ((triple1 triple9) -> rule5)) -> rule4) OR ((((((triple9 triple8) -> rule3) triple12) -> rule8) triple8) -> rule4) OR ((((((triple9 triple8) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) OR ((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) triple8) -> rule4) OR ((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4))] @2: The tiger visits the tiger.[(((((triple9 triple8) -> rule3) triple9) -> rule5) OR ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5))] @3: The tiger is round.[(((((triple15 triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((triple15 ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((triple15 triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((triple15 ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple1 triple4) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((triple11 triple9) -> rule7) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 triple8) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) triple8) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 triple8) -> rule3) triple9) -> rule5)) -> rule2) OR ((((((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple12) -> rule8) ((triple1 triple9) -> rule5)) -> rule4) ((((triple9 ((triple1 triple9) -> rule5)) -> rule3) triple9) -> rule5)) -> rule2))]
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
((triple8 triple1) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
((((triple1 triple9) -> (rule5 % int2)) triple1) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The mouse is red.
("mouse" "is" "red" "+")
triple4
The mouse is rough.
("mouse" "is" "rough" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
((triple7 triple8) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((triple7 ((triple1 triple9) -> (rule5 % int2))) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple7
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
triple8
((triple1 triple9) -> (rule5 % int1))
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple9
The tiger is big.
("tiger" "is" "big" "+")
triple10
The tiger is cold.
("tiger" "is" "cold" "+")
triple11
The tiger is red.
("tiger" "is" "red" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple14
((triple1 triple8) -> (rule6 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
((triple1 ((triple1 triple9) -> (rule5 % int2))) -> (rule6 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
((((triple9 triple8) -> (rule3 % int3)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
((((triple9 triple8) -> (rule3 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int3))) -> (rule3 % int4)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule6 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
triple15
((triple1 triple4) -> (rule8 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
((triple11 triple9) -> (rule7 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
((((triple9 triple8) -> (rule3 % int2)) triple12) -> (rule8 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
((((triple9 ((triple1 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple12) -> (rule8 % int1))
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple9 triple8) -> (rule3 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
((triple9 ((triple1 triple9) -> (rule5 % int2))) -> (rule3 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
((triple15 triple8) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
((triple15 ((triple1 triple9) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
((((triple1 triple4) -> (rule8 % int2)) triple8) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
((((triple11 triple9) -> (rule7 % int2)) triple8) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
((((triple1 triple4) -> (rule8 % int3)) ((triple1 triple9) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
((((triple11 triple9) -> (rule7 % int3)) ((triple1 triple9) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
((((((triple9 triple8) -> (rule3 % int3)) triple12) -> (rule8 % int2)) triple8) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
((((((triple9 triple8) -> (rule3 % int4)) triple12) -> (rule8 % int3)) ((triple1 triple9) -> (rule5 % int2))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int2
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int4
((((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule8 % int2)) triple8) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
((((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple12) -> (rule8 % int2)) ((triple1 triple9) -> (rule5 % int4))) -> (rule4 % int1))
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int1
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
((((triple9 triple8) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
((((triple9 ((triple1 triple9) -> (rule5 % int3))) -> (rule3 % int2)) triple9) -> (rule5 % int1))
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int3
The tiger is round.
("tiger" "is" "round" "+")
((((triple15 triple8) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
((((triple15 ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
((((((triple1 triple4) -> (rule8 % int5)) triple8) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
((((((triple11 triple9) -> (rule7 % int5)) triple8) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
((((((triple1 triple4) -> (rule8 % int6)) ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((triple11 triple9) -> (rule7 % int6)) ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 triple8) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((triple15 triple8) -> (rule4 % int5)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int5
((((triple15 ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int5))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
((((((triple1 triple4) -> (rule8 % int6)) triple8) -> (rule4 % int5)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((triple11 triple9) -> (rule7 % int6)) triple8) -> (rule4 % int5)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((((triple9 triple8) -> (rule3 % int5)) triple12) -> (rule8 % int4)) triple8) -> (rule4 % int3)) ((((triple9 triple8) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
((((((triple1 triple4) -> (rule8 % int6)) ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int5))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((triple11 triple9) -> (rule7 % int6)) ((triple1 triple9) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int5))) -> (rule3 % int3)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int5
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int6
((((((((triple9 triple8) -> (rule3 % int6)) triple12) -> (rule8 % int5)) triple8) -> (rule4 % int4)) ((((triple9 ((triple1 triple9) -> (rule5 % int3))) -> (rule3 % int6)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int3
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int6
((((((((triple9 triple8) -> (rule3 % int6)) triple12) -> (rule8 % int5)) ((triple1 triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple9 triple8) -> (rule3 % int6)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int6
((((((((triple9 triple8) -> (rule3 % int6)) triple12) -> (rule8 % int5)) ((triple1 triple9) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple9 ((triple1 triple9) -> (rule5 % int4))) -> (rule3 % int6)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int4
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int5
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int6
((((((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple12) -> (rule8 % int4)) triple8) -> (rule4 % int3)) ((((triple9 triple8) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int6
((((((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple12) -> (rule8 % int4)) triple8) -> (rule4 % int3)) ((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int6
((((((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple12) -> (rule8 % int4)) ((triple1 triple9) -> (rule5 % int6))) -> (rule4 % int3)) ((((triple9 triple8) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int6
((((((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple12) -> (rule8 % int4)) ((triple1 triple9) -> (rule5 % int6))) -> (rule4 % int3)) ((((triple9 ((triple1 triple9) -> (rule5 % int6))) -> (rule3 % int5)) triple9) -> (rule5 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger visits the tiger.
("tiger" "visits" "tiger" "+")
int2
The tiger likes the tiger.
("tiger" "likes" "tiger" "+")
int3
The tiger visits the mouse.
("tiger" "visits" "mouse" "+")
int4
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int5
The mouse visits the tiger.
("mouse" "visits" "tiger" "+")
int6